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
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