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 Software Engineering for Resilient Systems by

bigCover of the book Artificial Neural Networks and Machine Learning – ICANN 2018 by

bigCover of the book Quantum Computational Number Theory by

bigCover of the book Nocturnes: Popular Music and the Night by

bigCover of the book Haptics: Perception, Devices, Control, and Applications by

bigCover of the book From Social Data Mining and Analysis to Prediction and Community Detection by

bigCover of the book Computer Science – Theory and Applications by

bigCover of the book Intelligent Computations: Abstract Fractional Calculus, Inequalities, Approximations by

bigCover of the book Endophytes: Biology and Biotechnology by

bigCover of the book Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems by

bigCover of the book Memory, Grief, and Agency by

bigCover of the book The Contribution of the Postal and Delivery Sector by

bigCover of the book Medical and Mental Health During Childhood by

bigCover of the book Glaucoma Imaging 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