Automated deduction in multiple-valued logics
ISBN
0198539894
Automated deduction in multiple-valued logics is a automatic theorem proving, symbolic and mathematical logic book by Reiner Hähnle.
Discover Automated deduction in multiple-valued logics by Reiner Hähnle, automatic theorem proving.
About the Author
Reiner Hähnle is the author of Automated deduction in multiple-valued logics. 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 deduction in multiple-valued logics?+
Automated deduction in multiple-valued logics is a Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical book.
Who wrote Automated deduction in multiple-valued logics?+
Automated deduction in multiple-valued logics was written by Reiner Hähnle.