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 Building Resilient Cities in China: The Nexus between Planning and Science by

bigCover of the book Random Obstacle Problems by

bigCover of the book Measurement in Machining and Tribology by

bigCover of the book Advances in Computational Intelligence by

bigCover of the book Sports Science Research and Technology Support by

bigCover of the book Clinical Cases in Infections and Infestations of the Skin by

bigCover of the book Peptidomimetics I by

bigCover of the book Communicating National Image through Development and Diplomacy by

bigCover of the book Handbook of Service Science, Volume II by

bigCover of the book Mom the Chemistry Professor by

bigCover of the book EPSA15 Selected Papers by

bigCover of the book Intelligent Computing Theories and Application by

bigCover of the book Independent Commissions and Contentious Issues in Post-Good Friday Agreement Northern Ireland 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