Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) - Thérèse Hardin,Renaud Rioboo - copertina
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) - Thérèse Hardin,Renaud Rioboo - copertina
Dati e Statistiche
Wishlist Salvato in 0 liste dei desideri
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Disponibilità immediata
11,00 €
11,00 €
Disp. immediata
Chiudi
Altri venditori
Prezzo e spese di spedizione
Nocilli distribuzione libri
11,00 € + 6,00 € Spedizione
disponibilità immediata disponibilità immediata
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Nocilli distribuzione libri
11,00 € + 6,00 € Spedizione
disponibilità immediata disponibilità immediata
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi

Tutti i formati ed edizioni

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

Promo attive (0)

Dettagli

2003
148 p., ill. , Brossura
9788879995450
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore