Automated development of fundamental mathematical theories
by Art Quaife
- ISBN
- 0792320212
Automated development of fundamental mathematical theories is a artificial intelligence, automatic theorem proving book by Art Quaife.
Discover Automated development of fundamental mathematical theories by Art Quaife, artificial intelligence.
About the Author
Art Quaife is the author of Automated development of fundamental mathematical theories. 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 development of fundamental mathematical theories?+
Automated development of fundamental mathematical theories is a Artificial intelligence, Automatic theorem proving, Proof theory book.
Who wrote Automated development of fundamental mathematical theories?+
Automated development of fundamental mathematical theories was written by Art Quaife.