Mechanical Geometry Theorem Proving
- ISBN
- 9789027726506
Mechanical Geometry Theorem Proving is a automatic theorem proving book by Shang-Ching Chou.
Discover Mechanical Geometry Theorem Proving by Shang-Ching Chou, automatic theorem proving.
About the Author
is the author of Mechanical Geometry Theorem Proving. Browse their full catalog on Booklogr.
Explore more books by Shang-Ching Chou →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 Mechanical Geometry Theorem Proving?+
Mechanical Geometry Theorem Proving is a Automatic theorem proving book.
Who wrote Mechanical Geometry Theorem Proving?+
Mechanical Geometry Theorem Proving was written by Shang-Ching Chou.