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 Our Place in the Universe by

bigCover of the book Clinical Management of Pulmonary Disorders and Diseases by

bigCover of the book Losing Political Office by

bigCover of the book Identifying Emerging Issues in Disaster Risk Reduction, Migration, Climate Change and Sustainable Development by

bigCover of the book Cardiac Arrhythmias, Pacing and Sudden Death by

bigCover of the book Management and Therapy of Late Pregnancy Complications by

bigCover of the book The Vascular Flora of the National Park of Abruzzo, Lazio and Molise (Central Italy) by

bigCover of the book Phenomenology of Suicide by

bigCover of the book The Palgrave Handbook of Intersectionality in Public Policy by

bigCover of the book Spin Correlations in tt Events from pp Collisions by

bigCover of the book Charge Dynamics in 122 Iron-Based Superconductors by

bigCover of the book Political Marketing and Management in Ghana by

bigCover of the book Principles of Applied Remote Sensing by

bigCover of the book Distinguished Figures in Descriptive Geometry and Its Applications for Mechanism Science by

bigCover of the book Excel 2013 for Health Services Management Statistics 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