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 Techniques for Building Timing-Predictable Embedded Systems by

bigCover of the book Cañadell's Pediatric Bone Sarcomas by

bigCover of the book Edgar Rubin and Psychology in Denmark by

bigCover of the book Geospatial Technologies for Agriculture by

bigCover of the book Alfred Tarski and the "Concept of Truth in Formalized Languages" by

bigCover of the book Open Conformal Systems and Perturbations of Transfer Operators by

bigCover of the book Precision Molecular Pathology of Liver Cancer by

bigCover of the book Smart Futures, Challenges of Urbanisation, and Social Sustainability by

bigCover of the book Database Systems for Advanced Applications by

bigCover of the book Effective Daylighting with High-Performance Facades by

bigCover of the book Safety-Critical Electrical Drives by

bigCover of the book Smart-ECO Buildings towards 2020/2030 by

bigCover of the book Illegal Entrepreneurship, Organized Crime and Social Control by

bigCover of the book Formulating Principal-Agent Service Contracts for a Revenue Generating Unit 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