Proceedings
by International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
ISBN
0387528857
Proceedings is a automatic theorem proving, symbolic and mathematical logic book by International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).
Discover Proceedings by International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany), automatic theorem proving.
About the Author
International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany) is the author of Proceedings. 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 Proceedings?+
Proceedings is a Automatic theorem proving, Symbolic and mathematical Logic, Theoremes, Automatisches Beweisverfahren book.
Who wrote Proceedings?+
Proceedings was written by International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).