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 Foundations of Programming Languages by

bigCover of the book Regional Development in Rural Areas by

bigCover of the book A Brief History of Mechanical Engineering by

bigCover of the book Invariant Probabilities of Transition Functions by

bigCover of the book Sub-structure Coupling for Dynamic Analysis by

bigCover of the book The Competence of the European Union in Copyright Lawmaking by

bigCover of the book Advances in Cryptology – CRYPTO 2018 by

bigCover of the book Progress in Performance Management by

bigCover of the book Advances in Machine Learning and Signal Processing by

bigCover of the book Mechanics of Composite, Hybrid and Multifunctional Materials, Volume 5 by

bigCover of the book Industrial Teesside, Lives and Legacies by

bigCover of the book The Emergence of ETFs in Asia-Pacific by

bigCover of the book Intracytoplasmic Sperm Injection by

bigCover of the book Absolute Dermatology Review by

bigCover of the book Using Mass Spectrometry for Biochemical Studies on Enzymatic Domains from Polyketide Synthases 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