Automated reasoning
by IJCAR 2004 (2004 Cork, Ireland)
ISBN
3540223452
Automated reasoning is a automatic theorem proving, computer logic book by IJCAR 2004 (2004 Cork, Ireland).
Discover Automated reasoning by IJCAR 2004 (2004 Cork, Ireland), automatic theorem proving.
About the Author
IJCAR 2004 (2004 Cork, Ireland) is the author 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 Automated reasoning?+
Automated reasoning is a Automatic theorem proving, Computer logic, MATHEMATICS, Infinity book.
Who wrote Automated reasoning?+
Automated reasoning was written by IJCAR 2004 (2004 Cork, Ireland).