Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, 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 The Structure of Ionic Liquids by

bigCover of the book Extended Abstracts Spring 2014 by

bigCover of the book Information Security and Cryptology by

bigCover of the book Resolving Strong Field Dynamics in Cation States of CO_2 via Optimised Molecular Alignment by

bigCover of the book Revisiting Metaphors in International Relations Theory by

bigCover of the book The Lidov-Kozai Effect - Applications in Exoplanet Research and Dynamical Astronomy by

bigCover of the book Money, Commerce, and Economics in Late Medieval English Literature by

bigCover of the book Traumatic Stress and Long-Term Recovery by

bigCover of the book Ultra-Short Pulsed Laser Engineered Metal-Glass Nanocomposites by

bigCover of the book Wind Energy Exploitation in Urban Environment by

bigCover of the book Histories of Post-Mortem Contagion by

bigCover of the book Using Modeling to Predict and Prevent Victimization by

bigCover of the book Computer Vision – ECCV 2016 by

bigCover of the book The Stair-Step Approach in Mathematics by

bigCover of the book Continuous-Time Asset Pricing Theory 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