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 Climate Change, Disasters, Sustainability Transition and Peace in the Anthropocene by

bigCover of the book Nonlinear Systems, Vol. 1 by

bigCover of the book Women Activists and Civil Rights Leaders in Auto/Biographical Literature and Films by

bigCover of the book Advances in Geroscience by

bigCover of the book Optimizing Liner Shipping Fleet Repositioning Plans by

bigCover of the book High Field Plasmonics by

bigCover of the book Designing Immersive Video Games Using 3DUI Technologies by

bigCover of the book Flood Modeling, Prediction and Mitigation by

bigCover of the book War, Denial and Nation-Building in Sri Lanka by

bigCover of the book Provably Correct Systems by

bigCover of the book Stochasticity in Processes by

bigCover of the book Excel 2013 for Business Statistics by

bigCover of the book Kinetics and Spectroscopy of Low Temperature Plasmas by

bigCover of the book Biology and Pathology of Perineuronal Satellite Cells in Sensory Ganglia 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