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 Advances in Personalized Nanotherapeutics by

bigCover of the book The Boundary-Scan Handbook by

bigCover of the book Litigation Communication by

bigCover of the book Unconventional Water Resources and Agriculture in Egypt by

bigCover of the book Trends in Applications of Mathematics to Mechanics by

bigCover of the book Anticoagulation and Hemostasis in Neurosurgery by

bigCover of the book University-Community Engagement in the Asia Pacific by

bigCover of the book Languages, Applications and Technologies by

bigCover of the book The Energy-Climate Continuum by

bigCover of the book Simulation of Optical Soliton Control in Micro- and Nanoring Resonator Systems by

bigCover of the book Advances in Spatial and Temporal Databases by

bigCover of the book E-Learning Systems, Environments and Approaches by

bigCover of the book Modern Nonparametric, Robust and Multivariate Methods by

bigCover of the book Regional Analysis of Time-Fractional Diffusion Processes 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