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

Riferimento: 9788879995450

Editore:
Autore: Renaud Rioboo, Thérèse Hardin
Pagine: 148 p., Libro in brossura
EAN: 9788879995450
11,00 €
Quantità
Non disponibile