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 Many Faces of Social Attention by

bigCover of the book Computational Modeling, Optimization and Manufacturing Simulation of Advanced Engineering Materials by

bigCover of the book New Migration Patterns in the Americas by

bigCover of the book Management of Competitiveness by

bigCover of the book Development Challenges in Bhutan by

bigCover of the book First-Trimester Ultrasound by

bigCover of the book Computer Vision -- ACCV 2014 by

bigCover of the book Linking Game-Theoretical Approaches with Constructive Type Theory by

bigCover of the book Growing Stock Volume Estimation in Temperate Forested Areas Using a Fusion Approach with SAR Satellites Imagery by

bigCover of the book Acute Heart Failure by

bigCover of the book Online Harassment by

bigCover of the book Medical Image Watermarking by

bigCover of the book Developments in Earthquake Geotechnics by

bigCover of the book The Blackout in Britain and Germany, 1939–1945 by

bigCover of the book Technologies and Innovation 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