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 When Parents Kill Children by

bigCover of the book Grammatical Approaches to Language Processing by

bigCover of the book Democracy and Governance for Resourcing the Commons by

bigCover of the book Ethics in Medicine by

bigCover of the book Computer and Computing Technologies in Agriculture IX by

bigCover of the book Introduction to Data Science by

bigCover of the book Remote Observatories for Amateur Astronomers by

bigCover of the book Psychology of Gender Through the Lens of Culture by

bigCover of the book High Performance Through Business Process Management by

bigCover of the book Image-Guided Percutaneous Spine Biopsy by

bigCover of the book Pesky Essays on the Logic of Philosophy by

bigCover of the book Internationalization of Banks by

bigCover of the book Microbes and Other Shamanic Beings 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