7th International Conference on Automated Deduction
by R. Shostak
ISBN
9783540960225
7th International Conference on Automated Deduction is a symbolic and mathematical logic, automatic theorem proving book by R. Shostak.
Discover 7th International Conference on Automated Deduction by R. Shostak, symbolic and mathematical logic.
About the Author
is the author of 7th International Conference on Automated Deduction. Browse their full catalog on Booklogr.
Explore more books by R. Shostak →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 7th International Conference on Automated Deduction?+
7th International Conference on Automated Deduction is a Symbolic and mathematical Logic, Automatic theorem proving book.
Who wrote 7th International Conference on Automated Deduction?+
7th International Conference on Automated Deduction was written by R. Shostak.