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 Investor Decision-Making and the Role of the Financial Advisor by

bigCover of the book Computer Vision – ECCV 2016 Workshops by

bigCover of the book Formality Theory by

bigCover of the book Combinatorial Algebraic Geometry by

bigCover of the book Bilateral Cooperation and Human Trafficking by

bigCover of the book Breast Oncology: Techniques, Indications, and Interpretation by

bigCover of the book Human Missions to Mars by

bigCover of the book Nuclear Fusion with Polarized Fuel by

bigCover of the book Global Challenges and the Emerging World Order by

bigCover of the book Descartes’ Treatise on Man and its Reception by

bigCover of the book Distributed Computing and Internet Technology by

bigCover of the book Introduction to Ethnobiology by

bigCover of the book Computer Vision – ECCV 2018 Workshops by

bigCover of the book Quantum Physics, Mini Black Holes, and the Multiverse 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