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 Bidirectional Transformations by

bigCover of the book Scenario Thinking by

bigCover of the book Learned in the Trenches by

bigCover of the book The Transnational and the Local in the Politics of Islam by

bigCover of the book Innovations in Smart Cities Applications Edition 2 by

bigCover of the book Computer Vision -- ACCV 2014 by

bigCover of the book The Internal Impact and External Influence of the Greek Financial Crisis by

bigCover of the book The Physical Geography of Hungary by

bigCover of the book Normative and Pragmatic Dimensions of Genetic Counseling by

bigCover of the book Advances in Design for Inclusion by

bigCover of the book Computer Vision for X-Ray Testing by

bigCover of the book Simulating Social Complexity by

bigCover of the book Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future by

bigCover of the book High Precision Optical Spectroscopy and Quantum State Selected Photodissociation of Ultracold 88Sr2 Molecules in an Optical Lattice 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