Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Interactive Theorem Proving

More books from Springer International Publishing

bigCover of the book Theory and Applications of Satisfiability Testing – SAT 2017 by

bigCover of the book Globalization, Mass Education and Technical and Vocational Education and Training by

bigCover of the book Designing for a Digital and Globalized World by

bigCover of the book Advances in Cross-Cultural Decision Making by

bigCover of the book Heads, Jaws, and Muscles by

bigCover of the book Science and Technology by

bigCover of the book Glial Amino Acid Transporters by

bigCover of the book Remaking Romanticism by

bigCover of the book Artificial Intelligence Tools for Cyber Attribution by

bigCover of the book Integral and Discrete Inequalities and Their Applications by

bigCover of the book Engineering Secure Software and Systems by

bigCover of the book Advanced Functional Evolution Equations and Inclusions by

bigCover of the book Hadamard States from Light-like Hypersurfaces by

bigCover of the book Computer Vision – ECCV 2016 by

bigCover of the book Statistical Theory of Heat 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