Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 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 Deduction – CADE 26

More books from Springer International Publishing

bigCover of the book Management of Complex Multi-reservoir Water Distribution Systems using Advanced Control Theoretic Tools and Techniques by

bigCover of the book Control of Wave and Beam PDEs by

bigCover of the book Trump’s Media War by

bigCover of the book Linguistic Diasporas, Narrative and Performance by

bigCover of the book Fuzzy Sets-Based Methods and Techniques for Modern Analytics by

bigCover of the book Biology of Hevea Rubber by

bigCover of the book Solidarity and the 'Refugee Crisis' in Europe by

bigCover of the book Handbook of Large-Scale Distributed Computing in Smart Healthcare by

bigCover of the book Avant-garde Orientalism by

bigCover of the book Progress in Botany Vol. 79 by

bigCover of the book Security and Cryptography for Networks by

bigCover of the book Ecotechnologies for the Treatment of Variable Stormwater and Wastewater Flows by

bigCover of the book Educating Prospective Secondary Mathematics Teachers 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