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 Pharmacology of Mitochondria by

bigCover of the book Information in Contemporary Society by

bigCover of the book Sustainable Horticultural Systems by

bigCover of the book Karst Aquifers - Characterization and Engineering by

bigCover of the book Authentic Leadership and Followership by

bigCover of the book Quantifying Aesthetics of Visual Design Applied to Automatic Design by

bigCover of the book Enhanced Quality of Life and Smart Living by

bigCover of the book Complex Structure and Dynamics of the Heart by

bigCover of the book Advances in Natural Fibre Composites by

bigCover of the book Prokaryotes and Evolution by

bigCover of the book Designing Instruction For Open Sharing by

bigCover of the book Channel Estimation for Physical Layer Network Coding Systems by

bigCover of the book Landscapes and Landforms of Hungary by

bigCover of the book Accelerator Programming Using Directives by

bigCover of the book Excessive Pricing and Competition Law Enforcement 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