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 Physical Sciences and Engineering Advances in Life Sciences and Oncology by

bigCover of the book Simulating Societal Change by

bigCover of the book Electrochemical Sensing: Carcinogens in Beverages by

bigCover of the book The Orient, the Liberal Movement, and the Eastern Crisis of 1839-41 by

bigCover of the book Creationism and Anti-Creationism in the United States by

bigCover of the book Clavicle Injuries by

bigCover of the book Provable Security by

bigCover of the book Connecting Self-regulated Learning and Performance with Instruction Across High School Content Areas by

bigCover of the book Robustness in Statistical Forecasting by

bigCover of the book Pattern Recognition by

bigCover of the book Improving Service Level Engineering by

bigCover of the book Annual Update in Intensive Care and Emergency Medicine 2016 by

bigCover of the book Healing the Wounds of Gukurahundi in Zimbabwe by

bigCover of the book Homological Mirror Symmetry and Tropical Geometry 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