Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, 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 26

More books from Springer International Publishing

bigCover of the book The Dawn Angiosperms by

bigCover of the book Michał Kalecki: An Intellectual Biography by

bigCover of the book Language for Teaching Purposes by

bigCover of the book The Fascination of Probability, Statistics and their Applications by

bigCover of the book Cosmological and Black Hole Apparent Horizons by

bigCover of the book Artificial Intelligence for Knowledge Management by

bigCover of the book Knowledge Management and Acquisition for Intelligent Systems by

bigCover of the book Politics and Bureaucracy in the Norwegian Welfare State by

bigCover of the book Developing Drug Products in an Aging Society by

bigCover of the book Policy and Gay, Lesbian, Bisexual, Transgender and Intersex Students by

bigCover of the book Architecture, Urban Space and War by

bigCover of the book Quantum Theory from a Nonlinear Perspective by

bigCover of the book Mechanics of Anisotropic Materials by

bigCover of the book EU Emergency Response Policies and NGOs by

bigCover of the book Advances in Bionanomaterials 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