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 Enterprise and Organizational Modeling and Simulation by

bigCover of the book How To Write Your First Thesis by

bigCover of the book Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data by

bigCover of the book Proust, Music, and Meaning by

bigCover of the book Interdisciplinary Place-Based Learning in Urban Education by

bigCover of the book Physician's Guide by

bigCover of the book Current Topics in Czech and Central European Geography Education by

bigCover of the book Man-made Catastrophes and Risk Information Concealment by

bigCover of the book Languages, Design Methods, and Tools for Electronic System Design by

bigCover of the book Fractal Flow Design: How to Design Bespoke Turbulence and Why by

bigCover of the book R2P and the US Intervention in Libya by

bigCover of the book Risk Management for Engineering Projects by

bigCover of the book PET/CT in Cancer of Unknown Primary by

bigCover of the book Emerging and Re-emerging Viral Infections by

bigCover of the book UN Peacekeeping in Africa 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