Mechanizing mathematical reasoning
ISBN
9783540322542
Mechanizing mathematical reasoning is a automatic theorem proving, technique book by Jörg H. Siekmann.
Discover Mechanizing mathematical reasoning by Jörg H. Siekmann, automatic theorem proving.
About the Author
is the author of Mechanizing mathematical reasoning. Browse their full catalog on Booklogr.
Explore more books by Jörg H. Siekmann →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 Mechanizing mathematical reasoning?+
Mechanizing mathematical reasoning is a Automatic theorem proving, Technique, Symbolic and mathematical Logic, Reasoning, Automation book.
Who wrote Mechanizing mathematical reasoning?+
Mechanizing mathematical reasoning was written by Jörg H. Siekmann.