- Libreria
- >
- Libri
- >
- Informatica & tecnologia
- >
- Scienza dei calcolatori
- >
- Calculemus 2003. 11th symposium on the integration of symbolic computation and...
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003) - 9788879995450
di Thérèse Hardin Renaud Rioboo edito da Aracne, 2003
- € 11.00
-
A causa delle condizioni di fornitura offerte dal nostro fornitore
siamo costretti a conteggiare ulteriori € 5.00 di spese in aggiunta al prezzo di copertina - € 16.00
Informazioni bibliografiche del Libro
- Titolo del Libro: Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
- Autori : Thérèse Hardin Renaud Rioboo
- Editore: Aracne
- Data di Pubblicazione: 2003
- Pagine: 148
- ISBN-10: 8879995456
- ISBN-13: 9788879995450
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003): Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Recensioni Scrivi la tua recensione del libro "Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)"
-5%
Dalle porte and or not al sistema calcolatore. Un viaggio nel mondo delle reti logiche in compagnia del linguaggio Verilog. Nuova ediz.
libro di Corsini Paolo
edizioni Edizioni ETS collana Fuori collana
-5%
Intelligenza artificiale spiegata in modo facile. Guida illustrata per programmatori curiosi. Ediz. illustrata
libro di Hurbans Rishal
edizioni Apogeo collana Guida completa
-5%
Meglio artificiale che niente. Cronache dell'intelligenza sulla collina
libro di Stock Oliviero
edizioni Guerini e Associati collana Di storie in storia
-5%
Fare la domanda giusta. L'arte di lavorare con ChatGPT e le AI
libro di Sentinelli Sergio
Placa Alessandro
edizioni Apogeo collana Apogeo Saggi
Recensioni Scrivi la tua recensione del libro "Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)"