Formal Methods In Artificial Intelligence
- Editore:
Cambridge University Press
- EAN:
9780521352369
- ISBN:
0521352363
- Pagine:
- 296
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Formal Methods In Artificial Intelligence
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti