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
Big bigCover of Automated Deduction - CADE-25

More books from Springer International Publishing

bigCover of the book Atlas of CT Angiography by
bigCover of the book Geodetic Heights by
bigCover of the book Relativistic Geodesy by
bigCover of the book Stress Responses in Plants by
bigCover of the book MicroRNAs: Key Regulators of Oncogenesis by
bigCover of the book Smart Nitrate Sensor by
bigCover of the book Information Security and Cryptology by
bigCover of the book Thermoacoustics by
bigCover of the book Lesbian, Gay, Bisexual, and Transgender Healthcare by
bigCover of the book Nationalism and Nationhood in the United Arab Emirates by
bigCover of the book Web and Wireless Geographical Information Systems by
bigCover of the book A Guide to Designing Curricular Games by
bigCover of the book Suicide: Phenomenology and Neurobiology by
bigCover of the book Algorithms and Architectures for Parallel Processing by
bigCover of the book Innovation in Hospitality Education 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