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 Radical Social Change in the United States by

bigCover of the book Applied Computing and Information Technology by

bigCover of the book Simulation-Driven Design by Knowledge-Based Response Correction Techniques by

bigCover of the book Informatics in Control, Automation and Robotics by

bigCover of the book Buoyancy-Driven Flow in Fluid-Saturated Porous Media near a Bounding Surface by

bigCover of the book Tourists in Space by

bigCover of the book Modelling and Implementation of Complex Systems by

bigCover of the book Shaping Peace in Kosovo by

bigCover of the book Biogeochemical Transformations in the Baltic Sea by

bigCover of the book The Changing Postal and Delivery Sector by

bigCover of the book Understanding the Gut-Bone Signaling Axis by

bigCover of the book Chemical Evolution by

bigCover of the book Supervisory Control of Discrete-Event Systems by

bigCover of the book Integrity in the Business Panorama by

bigCover of the book Artistic Utopias of Revolt 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