A proof theory for general unification
by Wayne Snyder
- ISBN
- 9781461267584
A proof theory for general unification is a automatic theorem proving book by Wayne Snyder.
Discover A proof theory for general unification by Wayne Snyder, automatic theorem proving.
About the Author
is the author of A proof theory for general unification. Browse their full catalog on Booklogr.
Explore more books by Wayne Snyder →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 A proof theory for general unification?+
A proof theory for general unification is a Automatic theorem proving book.
Who wrote A proof theory for general unification?+
A proof theory for general unification was written by Wayne Snyder.