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 Introduction to the Study of Natural History by

bigCover of the book Instructional Techniques to Facilitate Learning and Motivation of Serious Games by

bigCover of the book The Energy Landscape in the Republic of South Africa by

bigCover of the book Control of Nonholonomic Systems: from Sub-Riemannian Geometry to Motion Planning by

bigCover of the book Input-to-State Stability for PDEs by

bigCover of the book The Palgrave Handbook of Ageing and Physical Activity Promotion by

bigCover of the book Power Switching Components by

bigCover of the book Advancement in the Design and Performance of Sustainable Asphalt Pavements by

bigCover of the book Genesis of Diamonds and Associated Phases by

bigCover of the book The Soils of Greece by

bigCover of the book Energy Resources in Africa by

bigCover of the book Bronchopulmonary Dysplasia by

bigCover of the book Contemporary Marketing Strategy by

bigCover of the book Web-Age Information Management by

bigCover of the book Christian Faith, Formation and Education 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