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 Stochastic Analysis and Applications 2014 by

bigCover of the book Econophysics of the Kolkata Restaurant Problem and Related Games by

bigCover of the book SystemVerilog Assertions and Functional Coverage by

bigCover of the book Sustainable Learning in Higher Education by

bigCover of the book Progress in Performance Management by

bigCover of the book First-Trimester Ultrasound by

bigCover of the book A Primer on QSAR/QSPR Modeling by

bigCover of the book Dynamic and Seamless Integration of Production, Logistics and Traffic by

bigCover of the book Radiation Disaster Medicine by

bigCover of the book Basics of Thermal Field Theory by

bigCover of the book Seeing Cities Through Big Data by

bigCover of the book Proceedings of the 10th World Congress on Engineering Asset Management (WCEAM 2015) by

bigCover of the book Critical Approaches to Education Policy Analysis by

bigCover of the book Injuries to the Chest Wall by

bigCover of the book Global Supply Chain and Operations Management 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