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 Critiquing Capitalism Today by

bigCover of the book Distance Sampling: Methods and Applications by

bigCover of the book Advances in Neural Networks - ISNN 2017 by

bigCover of the book Robust Representation for Data Analytics by

bigCover of the book Sustainable Ecological Engineering Design by

bigCover of the book Natural Dam Lake Cuejdel in the Stânişoarei Mountains, Eastern Carpathians by

bigCover of the book Emancipation, Democracy and the Modern Critique of Law by

bigCover of the book Mediating Misogyny by

bigCover of the book Advances in Human Factors, Business Management and Society by

bigCover of the book Gastrointestinal Stromal Tumors by

bigCover of the book The Economy of South Asia by

bigCover of the book Problems from the Discrete to the Continuous by

bigCover of the book Energy and Environment in Saudi Arabia: Concerns & Opportunities by

bigCover of the book Open Conformal Systems and Perturbations of Transfer Operators by

bigCover of the book Cauchy Problem for Differential Operators with Double Characteristics 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