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 Social Justice, Multicultural Counseling, and Practice by

bigCover of the book Adaptive Logics for Defeasible Reasoning by

bigCover of the book Modeling Innovation Sustainability and Technologies by

bigCover of the book Selenium in plants by

bigCover of the book English Language Education Policy in Asia by

bigCover of the book Biological Soil Crusts: An Organizing Principle in Drylands by

bigCover of the book Imaging of Soft Tissue Tumors by

bigCover of the book Umbrella Reviews by

bigCover of the book Wood Characteristics by

bigCover of the book Approximation by Max-Product Type Operators by

bigCover of the book International Perspectives on Psychotherapy by

bigCover of the book Belief, Evidence, and Uncertainty by

bigCover of the book Database Systems for Advanced Applications by

bigCover of the book Environmental Technology in the Oil Industry by

bigCover of the book Making Sense of Moral Panics 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