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 Green Transportation Logistics by

bigCover of the book Cultural Sustainable Tourism by

bigCover of the book Cell Biology of Herpes Viruses by

bigCover of the book The Work and Play of the Mind in the Information Age by

bigCover of the book The Political Economy of Change and Continuity in Korea by

bigCover of the book Managing Software Crisis: A Smart Way to Enterprise Agility by

bigCover of the book Conversations Around Semiotic Engineering by

bigCover of the book The Quest to Cyber Superiority by

bigCover of the book Neurobrucellosis by

bigCover of the book The Epilepsy Book: A Companion for Patients by

bigCover of the book Advances in Computer Games by

bigCover of the book Patrick Moore’s Observer’s Year: 366 Nights of the Universe by

bigCover of the book Mathematical Models and Numerical Simulation in Electromagnetism by

bigCover of the book Uncharted Constellations 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