Handbook of automated reasoning
Qualitative reasoningAutomatic theorem provingArtificial intelligenceKnowledge representationDeductive databases
Browse all genres - ISBN
- 9780444508133
Handbook of automated reasoning is a qualitative reasoning, automatic theorem proving book by J. A. Robinson.
Discover Handbook of automated reasoning by J. A. Robinson, qualitative reasoning.
About the Author
J. A. Robinson is the author of Handbook of automated reasoning. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Handbook of automated reasoning?+
Handbook of automated reasoning is a Qualitative reasoning, Automatic theorem proving, Artificial intelligence, Knowledge representation, Deductive databases book.
Who wrote Handbook of automated reasoning?+
Handbook of automated reasoning was written by J. A. Robinson.