Formal Methods in Artificial Intelligence di Allan Ramsay edito da Cambridge University Press
Alta reperibilità

Formal Methods in Artificial Intelligence

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.

Spedizione gratuita
€ 52.91
o 3 rate da € 17.64 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Formal Methods in Artificial Intelligence
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti