Alta reperibilità
Formal Methods in Artificial Intelligence
- Editore:
Cambridge University Press
- EAN:
9780521424219
- ISBN:
0521424216
- Pagine:
- 292
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Formal Methods in Artificial Intelligence
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti