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
In commercio dal: 2003
Pagine: 148 p., Libro in brossura
EAN: 9788879995450
11,00 €
IVA inclusa
Quantità
Non disponibile