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 Role of Deposit Guarantee Schemes as a Financial Safety Net in the European Union by

bigCover of the book Families and Transition to School by

bigCover of the book Large Scale Hierarchical Classification: State of the Art by

bigCover of the book Process Intensification in Chemical Engineering by

bigCover of the book Natural Language Processing and Information Systems by

bigCover of the book Geostatistical and Geospatial Approaches for the Characterization of Natural Resources in the Environment by

bigCover of the book Continuum Mechanics Through the Eighteenth and Nineteenth Centuries by

bigCover of the book Practical Pharmacology for Alzheimer’s Disease by

bigCover of the book Pattern Recognition Applications and Methods by

bigCover of the book Cloud Computing and Service Science by

bigCover of the book Parallel Scientific Computing by

bigCover of the book Advances in Integrated and Sustainable Supply Chain Planning by

bigCover of the book Literacy in the Arts by

bigCover of the book Forest Context and Policies in Portugal by

bigCover of the book Innovation in Medicine and Healthcare 2017 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