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