Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Application Software, Computer Graphics, 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-25

More books from Springer International Publishing

bigCover of the book Advances in Unconventional Computing by

bigCover of the book Trump and Political Philosophy by

bigCover of the book Mechanical Ventilation in the Critically Ill Obese Patient by

bigCover of the book Political and Religious Identities of British Evangelicals by

bigCover of the book mODa 10 – Advances in Model-Oriented Design and Analysis by

bigCover of the book Discourse and Diversionary Justice by

bigCover of the book The Hunt for FOXP5 by

bigCover of the book Automorphic Forms by

bigCover of the book Chromium Doped TiO2 Sputtered Thin Films by

bigCover of the book Applied Summability Methods by

bigCover of the book Four Pillars of Radio Astronomy: Mills, Christiansen, Wild, Bracewell by

bigCover of the book Disadvantaged Workers by

bigCover of the book Integrated Care for Complex Patients by

bigCover of the book The Gendered Politics of the Korean Protestant Right by

bigCover of the book OCT in Central Nervous System Diseases 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