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 History as a Science and the System of the Sciences by

bigCover of the book Reconstructing Identity by

bigCover of the book Cellular Injury in Liver Diseases by

bigCover of the book Managing in a VUCA World by

bigCover of the book Gender and Place in Chicana/o Literature by

bigCover of the book Italian Renaissance Utopias by

bigCover of the book Digital Libraries and Multimedia Archives by

bigCover of the book Pollutant Discharge and Water Quality in Urbanisation by

bigCover of the book Whither Turbulence and Big Data in the 21st Century? by

bigCover of the book Models and Inferences in Science by

bigCover of the book Intelligent Information and Database Systems by

bigCover of the book Ethnomathematics and its Diverse Approaches for Mathematics Education by

bigCover of the book Wind Turbine Aerodynamics and Vorticity-Based Methods by

bigCover of the book Natural Language Processing and Information Systems 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