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 Learning Factories by

bigCover of the book Surgical Management of Elderly Patients by

bigCover of the book Education Tools for Entrepreneurship by

bigCover of the book Agents and Artificial Intelligence by

bigCover of the book Database Systems for Advanced Applications by

bigCover of the book Quantum Theory of Many-Body Systems by

bigCover of the book Critical Approaches to Welcome to Night Vale by

bigCover of the book Yeasts in Natural Ecosystems: Ecology by

bigCover of the book Youth Subcultures in Fiction, Film and Other Media by

bigCover of the book Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data by

bigCover of the book Singularities and Foliations. Geometry, Topology and Applications by

bigCover of the book Silicon Optoelectronic Integrated Circuits by

bigCover of the book Recent Developments in Mechatronics and Intelligent Robotics by

bigCover of the book Open-Access, Multimodality, and Writing Center Studies by

bigCover of the book Optimizing Outcomes for Liver and Pancreas Surgery 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