Automated Reasoning with Analytic Tableaux and Related Methods
by Uwe Egly
- ISBN
- 9783540456162
Automated Reasoning with Analytic Tableaux and Related Methods is a artificial intelligence, automatisches beweisverfahren book by Uwe Egly.
Discover Automated Reasoning with Analytic Tableaux and Related Methods by Uwe Egly, artificial intelligence.
About the Author
is the author of Automated Reasoning with Analytic Tableaux and Related Methods. Browse their full catalog on Booklogr.
Explore more books by Uwe Egly →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 Reasoning with Analytic Tableaux and Related Methods?+
Automated Reasoning with Analytic Tableaux and Related Methods is a Artificial intelligence, Automatisches Beweisverfahren, Computer science, Software engineering book.
Who wrote Automated Reasoning with Analytic Tableaux and Related Methods?+
Automated Reasoning with Analytic Tableaux and Related Methods was written by Uwe Egly.