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 16th International Conference on Information Technology-New Generations (ITNG 2019) by

bigCover of the book Alleviating World Suffering by

bigCover of the book Business Intelligence and Big Data by

bigCover of the book Marine Conservation Paleobiology by

bigCover of the book African Philosophical Illuminations by

bigCover of the book Recent Trends in Philosophical Logic by

bigCover of the book Introduction to the Eurasian Economic Union by

bigCover of the book Ad-hoc, Mobile, and Wireless Networks by

bigCover of the book Nonlinearly Perturbed Semi-Markov Processes by

bigCover of the book The Eurasian Wheat Belt and Food Security by

bigCover of the book Rivers – Physical, Fluvial and Environmental Processes by

bigCover of the book Computational Aspects and Applications in Large-Scale Networks by

bigCover of the book Analysis and Modelling of Water Supply and Demand Under Climate Change, Land Use Transformation and Socio-Economic Development by

bigCover of the book Sustainable Agriculture Reviews by

bigCover of the book Perspectives on Political Communication in Africa 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