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 Analysis and Geometry by

bigCover of the book DNA Computing and Molecular Programming by

bigCover of the book Civil War and Uncivil Development by

bigCover of the book Weighting Methods and their Effects on Multi-Criteria Decision Making Model Outcomes in Water Resources Management by

bigCover of the book Modeling and Optimization: Theory and Applications by

bigCover of the book Intelligent Computing Methodologies by

bigCover of the book Geogames and Geoplay by

bigCover of the book The New Anti-Money Laundering Law by

bigCover of the book Orbital Mechanics and Astrodynamics by

bigCover of the book Dynamical Zeta Functions and Dynamical Determinants for Hyperbolic Maps by

bigCover of the book Physical Biology of Proteins and Peptides by

bigCover of the book High Tech Concrete: Where Technology and Engineering Meet 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