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 Social Justice Instruction by

bigCover of the book Theories of Local Immigration Policy by

bigCover of the book Harmonic Analysis, Partial Differential Equations, Banach Spaces, and Operator Theory (Volume 2) by

bigCover of the book Anticipation, Agency and Complexity by

bigCover of the book Process Equipment Procurement in the Chemical and Related Industries by

bigCover of the book Critical Space Infrastructures by

bigCover of the book Political Marketing and Management in the 2017 New Zealand Election by

bigCover of the book Constructing Number by

bigCover of the book Computer Vision -- ACCV 2014 by

bigCover of the book DNA Computing and Molecular Programming by

bigCover of the book The Social Life of Memory by

bigCover of the book Nutritional and Analytical Approaches of Gluten-Free Diet in Celiac Disease by

bigCover of the book Higher Education and Regional Development by

bigCover of the book Flood Risk in the Upper Vistula Basin by

bigCover of the book Whither Turbulence and Big Data in the 21st Century? 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