Libro acquistabile con carte di credito e carte prepagate Postepay.
Libro acquistabile con Carta Docente.
Libro acquistabile con Carta Cultura Giovani e Carta del Merito.
Libro acquistabile in tre rate mensili Klarna.
Il costo del libro sarà addebitato solo all’avvio della consegna.
Scegli il punto di ritiro dei libri più comodo.
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Riferimento: 9788879995450
Editore: Aracne
Autore: Renaud Rioboo, Thérèse Hardin Pagine: 148 Formato: Libro in brossura Data pubblicazione: 2003 EAN: 9788879995450
Autore: Renaud Rioboo, Thérèse Hardin Pagine: 148 Formato: Libro in brossura Data pubblicazione: 2003 EAN: 9788879995450
11,00 €
IVA inclusa