Handbook of automated reasoning
Qualitative reasoningAutomatic theorem provingArtificial intelligenceKnowledge representationDeductive databases
Browse all genres - ISBN
- 9780444508133
Handbook of automated reasoning est un qualitative reasoning, automatic theorem proving book de J. A. Robinson.
Découvrez Handbook of automated reasoning de J. A. Robinson, qualitative reasoning.
À propos de l'auteur
J. A. Robinson est l'auteur de Handbook of automated reasoning. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Handbook of automated reasoning ?+
Handbook of automated reasoning est un livre de Qualitative reasoning, Automatic theorem proving, Artificial intelligence, Knowledge representation, Deductive databases.
Qui a écrit Handbook of automated reasoning ?+
Handbook of automated reasoning a été écrit par J. A. Robinson.