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 Organizational Trust by

bigCover of the book Oil and Gas Pipelines in the Black-Caspian Seas Region by

bigCover of the book Radioguided Surgery by

bigCover of the book Thermal Transport in Strongly Correlated Rare-Earth Intermetallic Compounds by

bigCover of the book Statistical Theory of Heat by

bigCover of the book Competitiveness Creation and Maintenance in the Postal Services Industry by

bigCover of the book The Global Crisis of 2008 and Keynes's General Theory by

bigCover of the book International Manual of Oncology Practice by

bigCover of the book HCI International 2017 – Posters' Extended Abstracts by

bigCover of the book Mindful Medical Practitioners by

bigCover of the book Statistical Physics of Wave Interactions by

bigCover of the book Image Analysis and Processing - ICIAP 2017 by

bigCover of the book Understanding Gaia by

bigCover of the book The Pathology of Cardiac Transplantation by

bigCover of the book Transparent Ceramics 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