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

Hardin Thérèse, Rioboo Renaud

Prezzo:11,00

Prodotto al momento non disponibile.

Titolo: Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Autore: Hardin Thérèse, Rioboo Renaud
Editore: Aracne
Data di Pubblicazione: 2003
Pagine: 148
Formato:
ISBN: 9788879995450