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

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

Il prezzo originale era: 11,00 €.Il prezzo attuale è: 5,72 €.

Pagamenti sicuri Carta, PayPal e checkout protetto
Spedizione gratuita da 59,60 € Consegna rapida in tutta Italia
Supporto rapido Assistenza su ordini e spedizioni
COD: SK0252553 Categoria: Tag:

Descrizione

Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003). Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Dettagli Bibliografici
EAN ISBN-13:9788879995450
ISBN-10:8879995456
Titolo:Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Autore: Thérèse Hardin , Renaud Rioboo
Editore:Aracne
Data Pubblicazione:2003
Pagine:148
Classificazione:Scienza dei calcolatori

Prodotti correlati