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 Mathematical Tablets from Tell Harmal by

bigCover of the book Alien Species and Insect Conservation by

bigCover of the book Submicron Porous Materials by

bigCover of the book Risks and Resilience of Collaborative Networks by

bigCover of the book Complex Spreading Phenomena in Social Systems by

bigCover of the book Smart Tourism as a Driver for Culture and Sustainability by

bigCover of the book Research in Computational Molecular Biology by

bigCover of the book Black Masculinity and the Cinema of Policing by

bigCover of the book Spectrum Trading in Multi-Hop Cognitive Radio Networks by

bigCover of the book Essays on New Institutional Economics by

bigCover of the book Government Austerity and Socioeconomic Sustainability by

bigCover of the book Kelvin Probe Force Microscopy by

bigCover of the book Symmetry and Symmetry-Breaking in Semiconductors by

bigCover of the book Multiple Access Techniques for 5G Wireless Networks and Beyond 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