Automated reasoning with analytic tableaux and related methods
by TABLEAUX '97 (1997 Pont-à-Mousson, France)
ISBN
3540629203
Automated reasoning with analytic tableaux and related methods is a parallel processing, automatic theorem proving book by TABLEAUX '97 (1997 Pont-à-Mousson, France).
Discover Automated reasoning with analytic tableaux and related methods by TABLEAUX '97 (1997 Pont-à-Mousson, France), parallel processing.
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 TABLEAUX '97 (1997 Pont-à-Mousson, France) →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 Parallel processing, Automatic theorem proving, Artificial intelligence book.
Who wrote Automated reasoning with analytic tableaux and related methods?+
Automated reasoning with analytic tableaux and related methods was written by TABLEAUX '97 (1997 Pont-à-Mousson, France).