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 Set Operads in Combinatorics and Computer Science by

bigCover of the book Alasdair MacIntyre, Rationality and Education by

bigCover of the book Frontiers in Algorithmics by

bigCover of the book Modeling Cellular Systems by

bigCover of the book Electrical Fluctuations in Polyelectrolytes by

bigCover of the book Microbial Biomass Process Technologies and Management by

bigCover of the book Intelligent Data Analysis and Applications by

bigCover of the book Processes and Pathways of Family-School Partnerships Across Development by

bigCover of the book Housing in the United Kingdom by

bigCover of the book Agent-based Modeling and Simulation in Archaeology by

bigCover of the book Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics by

bigCover of the book Combinatorial Optimization and Applications by

bigCover of the book Topics in Cryptology - CT-RSA 2016 by

bigCover of the book Heidegger's Poetic Projection of Being 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