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 Feminist Science Fiction and Feminist Epistemology by

bigCover of the book Research in Computational Molecular Biology by

bigCover of the book Agriculture, Environment and Development by

bigCover of the book Knowledge Engineering and Semantic Web by

bigCover of the book Operational Symmetries by

bigCover of the book Ascidians in Coastal Water by

bigCover of the book Handbook of Insulin Therapies by

bigCover of the book Collaboration Meets Interactive Spaces by

bigCover of the book State Space Consistency and Differentiability by

bigCover of the book The Future Use of Nordic Forests by

bigCover of the book Mining Over Air: Wireless Communication Networks Analytics by

bigCover of the book Artificial Intelligent Approaches in Petroleum Geosciences by

bigCover of the book Irregular Immigration in Southern Europe by

bigCover of the book Recent Developments in Intelligent Systems and Interactive Applications 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