Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing

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 Pseudomonas: Molecular and Applied Biology by

bigCover of the book Sustainable Mountain Regions: Challenges and Perspectives in Southeastern Europe by

bigCover of the book Imaging of Male Breast Cancer by

bigCover of the book Problem Behavior Theory and the Social Context by

bigCover of the book Metals and Society by

bigCover of the book Advanced Computational Methods for Knowledge Engineering by

bigCover of the book Japan Decides 2017 by

bigCover of the book New Trends in Analysis and Interdisciplinary Applications by

bigCover of the book Paradoxes of Conflicts by

bigCover of the book Management and Governance of Networks by

bigCover of the book Elementary Mechanics Using Matlab by

bigCover of the book Hypergraph Theory by

bigCover of the book An Invitation to Geomathematics by

bigCover of the book Conceptual Modeling 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