Automated theorem proving
- ISBN
- 0387950753
Automated theorem proving is a automatic theorem proving, computer science book by Monroe Newborn.
Discover Automated theorem proving by Monroe Newborn, automatic theorem proving.
About the Author
is the author of Automated theorem proving. Browse their full catalog on Booklogr.
Explore more books by Monroe Newborn →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 Automated theorem proving?+
Automated theorem proving is a Automatic theorem proving, Computer science, Artificial intelligence book.
Who wrote Automated theorem proving?+
Automated theorem proving was written by Monroe Newborn.