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 The EU after Brexit by

bigCover of the book Bridging Algebra, Geometry, and Topology by

bigCover of the book Geographic Information Science at the Heart of Europe by

bigCover of the book Handbook of Evidence-Based Radiation Oncology by

bigCover of the book FlexSim in Academe: Teaching and Research by

bigCover of the book Corruption and Norms by

bigCover of the book Eugenics at the Edges of Empire by

bigCover of the book Land-Atmospheric Research Applications in South and Southeast Asia by

bigCover of the book Fluorine in Heterocyclic Chemistry Volume 1 by

bigCover of the book Web Technologies and Applications by

bigCover of the book Modeling of Nanotoxicity by

bigCover of the book Using Mobile Technologies in the Teaching and Learning of Mathematics by

bigCover of the book University of the World by

bigCover of the book Advanced Intelligent Systems for Sustainable Development (AI2SD’2018) 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