Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
Punto Poste 5.49 €
Punto Poste 5.49 €
Corriere DHL 6.99 €
Corriere GLS 5.99 €
Punto GLS 4.49 €
Corriere Bartolini 4.49 €
Punto Bartolini 3.49 €
Contatto
Come acquistare
Aiuto
Consegna
Punto Poste 5.49 €
Punto Poste 5.49 €
Corriere DHL 6.99 €
Corriere GLS 5.99 €
Punto GLS 4.49 €
Corriere Bartolini 4.49 €
Punto Bartolini 3.49 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
Automated Reasoning
Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Lingua
Inglese
Inglese
Libro
In brossura
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2...
Descrizione completa
Codice Libristo: 01562445
?
262 b
262 b
107.29
€
Magazzino esterno
Inviamo tra 5-8 giorni
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
Libro
29.09
€
/
In brossura
6.99
€
/
In brossura
32.19
€
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Attrice
&
Poliglotta
EWA KASP
per
Riproduci video
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Informazioni sul libro
Titolo completo
Automated Reasoning
Autore
Ulrich Furbach, Natarajan Shankar
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
2006
Numero di pagine
688
EAN
9783540371878
ISBN
3540371877
Codice Libristo
01562445
Casa editrice
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso
2140
Dimensioni
152 x 229 x 38
Categorie
Tecnologia, Ingegneria, Agricoltura, processi industriali
>
Ingegneria elettronica e delle comunicazioni
>
Ingegneria elettronica
>
Ingegneria del controllo automatico
>
Robotica
Informatica e Tecnologia dell’Informazione
>
Scienza dei calcolatori
>
Intelligenza artificiale
>
Sistemi esperti e basati sulla conoscenza
Informatica e Tecnologia dell’Informazione
>
Programmazione / ingegneria del software
>
Ingegneria del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
28.90
€
/
In brossura
24.29
€
/
In brossura
14.49
€
/
In brossura
107.29
€
Consulente di libri Libroamiko
Utilizzando questa chat, stai comunicando con un'intelligenza artificiale generativa. Utilizzandola, accetti anche il trattamento dei dati personali.
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?
Ciao, sono Libroamiko, posso aiutarti?