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 Scaling OpenMP for Exascale Performance and Portability by

bigCover of the book Darwin, Darwinism and Conservation in the Galapagos Islands by

bigCover of the book Handbook of Camera Monitor Systems by

bigCover of the book Cancer Biomarkers in Body Fluids by

bigCover of the book Scenario Thinking by

bigCover of the book Computational Problems in Science and Engineering by

bigCover of the book Arterial Disorders by

bigCover of the book The Visual Language of Technique by

bigCover of the book Algorithms and Complexity by

bigCover of the book Smart Computing and Communication by

bigCover of the book Transnational, European, and National Labour Relations by

bigCover of the book Statistical Physics of Complex Systems by

bigCover of the book Coherent Light-Matter Interactions in Monolayer Transition-Metal Dichalcogenides by

bigCover of the book Sport Entrepreneurship by

bigCover of the book How Political Actors Use the Media 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