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 Grouping Genetic Algorithms by

bigCover of the book Solving Non-standard Packing Problems by Global Optimization and Heuristics by

bigCover of the book Architecture and Interaction by

bigCover of the book Quandaries of School Leadership by

bigCover of the book Analog-to-Digital Conversion by

bigCover of the book Hierarchical Macromolecular Structures: 60 Years after the Staudinger Nobel Prize I by

bigCover of the book Scientific Peer Reviewing by

bigCover of the book Genomic Selection for Crop Improvement by

bigCover of the book Emergent Practices and Material Conditions in Learning and Teaching with Technologies by

bigCover of the book Eurasian Economic Perspectives by

bigCover of the book Regional Cooperation in South Asia by

bigCover of the book Global Mobile Satellite Communications Theory by

bigCover of the book Data and Applications Security and Privacy XXIX by

bigCover of the book The Epilepsy Book: A Companion for Patients by

bigCover of the book Optimized Dark Matter Searches in Deep Observations of Segue 1 with MAGIC 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