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 Identity and Heritage by

bigCover of the book Sustainable Rail Transport by

bigCover of the book Urban Planning in the Global South by

bigCover of the book Advances in Service-Oriented and Cloud Computing by

bigCover of the book Handbook of Sustainability and Social Science Research by

bigCover of the book Naturalists, Explorers and Field Scientists in South-East Asia and Australasia by

bigCover of the book Advances in Cryptology – EUROCRYPT 2017 by

bigCover of the book Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III) by

bigCover of the book International Perspectives on Engineering Education by

bigCover of the book Geometry of Manifolds with Non-negative Sectional Curvature by

bigCover of the book Global Cultures of Contestation by

bigCover of the book The Mobile Learning Voyage - From Small Ripples to Massive Open Waters by

bigCover of the book Evolution of Motions of a Rigid Body About its Center of Mass by

bigCover of the book Illness, Identity, and Taboo among Australian Paleo Dieters by

bigCover of the book Systemic Humiliation in America 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