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 Molecular Mechanisms of Cell Differentiation in Gonad Development by

bigCover of the book Counseling Asian Indian Immigrant Families by

bigCover of the book Textile Trades, Consumer Cultures, and the Material Worlds of the Indian Ocean by

bigCover of the book Coding Theory and Applications by

bigCover of the book Dynamic Approaches to Global Economic Challenges by

bigCover of the book Correct Software in Web Applications and Web Services by

bigCover of the book Climate Change and Air Pollution by

bigCover of the book Irish Women Writers and the Modern Short Story by

bigCover of the book Computer Security by

bigCover of the book Ecological Political Economy and the Socio-Ecological Crisis by

bigCover of the book Environment, Energy and Climate Change II by

bigCover of the book Curating the Digital by

bigCover of the book Intelligent Fixtures for the Manufacturing of Low Rigidity Components by

bigCover of the book Social Audit Regulation 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