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 Practical Urological Ultrasound by

bigCover of the book Fluid Flow in the Subsurface by

bigCover of the book Agricultural Adaptation to Climate Change by

bigCover of the book Gender, Migration, and the Work of Care by

bigCover of the book Emergent Nested Systems by

bigCover of the book Progress in Location-Based Services 2014 by

bigCover of the book Algorithms and Models for the Web Graph by

bigCover of the book Political Leadership and Charisma by

bigCover of the book A Novel Heme-Thiolate Peroxygenase AaeAPO and Its Implications for C-H Activation Chemistry by

bigCover of the book Urban Transformations by

bigCover of the book Advances in Remote Sensing and Geo Informatics Applications by

bigCover of the book East Asian Mothers in Britain by

bigCover of the book Multidimensional Integral Representations by

bigCover of the book Brexit and Democracy 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