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 Modeling with Rules Using Semantic Knowledge Engineering by

bigCover of the book Algorithmic Differentiation in Finance Explained by

bigCover of the book Inventing the EU as a Democratic Polity by

bigCover of the book Mechanisms, Transmissions and Applications by

bigCover of the book Ethnographic Peace Research by

bigCover of the book A Design for a Reusable Water-Based Spacecraft Known as the Spacecoach by

bigCover of the book Quantitative Evaluation of Systems by

bigCover of the book Advances in Artificial Intelligence: From Theory to Practice by

bigCover of the book Integrating Information and Communication Technologies in English for Specific Purposes by

bigCover of the book An Environmental History of Southern Malawi by

bigCover of the book A History of Abstract Algebra by

bigCover of the book Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17) by

bigCover of the book Shadow Education and Social Inequalities in Japan by

bigCover of the book Bacterial Metabolites in Sustainable Agroecosystem 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