Autore
Thérèse Hardin; Renaud Rioboo
1 libri per questo autore.
Non disponibile
Informatica e tecnologia
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
11,00 €
Pagina 1 di 1
1 libri per questo autore.