Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Automated Reasoning with Analytic Tableaux and Related Methods

More books from Springer International Publishing

bigCover of the book Chromogranins: from Cell Biology to Physiology and Biomedicine by

bigCover of the book The Thermoballistic Transport Model by

bigCover of the book Citizens, Europe and the Media by

bigCover of the book Management of Thyroid Nodules and Differentiated Thyroid Cancer by

bigCover of the book International Perspectives on Teaching the Four Skills in ELT by

bigCover of the book Mechanical Properties of Silicon Based Compounds: Silicides by

bigCover of the book Applied Mathematical Analysis: Theory, Methods, and Applications by

bigCover of the book A Cp-Theory Problem Book by

bigCover of the book Voting Unity of National Parties in Bicameral EU Decision-Making by

bigCover of the book TP-Model Transformation-Based-Control Design Frameworks by

bigCover of the book Sartre in Cuba–Cuba in Sartre by

bigCover of the book Bacteriophage Applications - Historical Perspective and Future Potential by

bigCover of the book Orexin and Sleep by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy