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

Name: Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Author: Hardin Thérèse, Rioboo Renaud

Hardin Thérèse, Rioboo Renaud

Prezzo: € 11,00
Aggiungi a lista dei desideri

Momentaneamente non ordinabile

Dettagli Libro

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