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