Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)

Riferimento: 9788879995450

Editore: Aracne
Autore: Renaud Rioboo, Thérèse Hardin
In commercio dal: 2003
Pagine: 148 p., Libro in brossura
EAN: 9788879995450

11,00 €