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 Enterprise Information Systems by

bigCover of the book Bacterial Pathogens and Their Virulence Factors by

bigCover of the book Image and Graphics by

bigCover of the book Neural Information Processing by

bigCover of the book Scientific Objectivity and Its Contexts by

bigCover of the book Carbon Nanomaterials for Biomedical Applications by

bigCover of the book Dynamic Fracture of Piezoelectric Materials by

bigCover of the book Advances in Human Factors, Sustainable Urban Planning and Infrastructure by

bigCover of the book Formal Techniques for Distributed Objects, Components, and Systems by

bigCover of the book Organotrifluoroborate Preparation, Coupling and Hydrolysis by

bigCover of the book Regulation of Membrane Na+-K+ ATPase by

bigCover of the book 3D Stacked Chips by

bigCover of the book Graph-Based Representation and Reasoning by

bigCover of the book Internet Science 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