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 Governance and Sustainable Urban Transport in the Americas by

bigCover of the book Concurrent Engineering in the 21st Century by

bigCover of the book Econometrics of Risk by

bigCover of the book High-Entropy Alloys by

bigCover of the book Grasp Interaction with Tablets by

bigCover of the book Guantánamo and American Empire by

bigCover of the book The ISRM Suggested Methods for Rock Characterization, Testing and Monitoring: 2007-2014 by

bigCover of the book Bayesian Inference by

bigCover of the book Australians and the First World War by

bigCover of the book Mechanics of Biological Systems and Materials, Volume 6 by

bigCover of the book Algorithms and Architectures for Parallel Processing by

bigCover of the book Biocompatible Glasses by

bigCover of the book Success and Failure of IS/IT Projects 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