Handbook of automated reasoning
Qualitative reasoningAutomatic theorem provingArtificial intelligenceKnowledge representationDeductive databases
Browse all genres - ISBN
- 9780444508133
Handbook of automated reasoning è un qualitative reasoning, automatic theorem proving book di J. A. Robinson.
Scopri Handbook of automated reasoning di J. A. Robinson, qualitative reasoning.
Sull'Autore
J. A. Robinson è l'autore di Handbook of automated reasoning. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Handbook of automated reasoning?+
Handbook of automated reasoning è un libro di Qualitative reasoning, Automatic theorem proving, Artificial intelligence, Knowledge representation, Deductive databases.
Chi ha scritto Handbook of automated reasoning?+
Handbook of automated reasoning è stato scritto da J. A. Robinson.