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 Innovations in Bio-Inspired Computing and Applications by

bigCover of the book Noncovalent Forces by

bigCover of the book Predictability of Chaotic Dynamics by

bigCover of the book Metal Cutting Theory by

bigCover of the book Strategy and Game Theory by

bigCover of the book Dynamics and Resilience of Informal Areas by

bigCover of the book Men, Fathering and the Gender Trap by

bigCover of the book Beneficial Microorganisms in Agriculture, Aquaculture and Other Areas by

bigCover of the book Prospects for Alternative Energy Development in the U.S. West by

bigCover of the book Cultural Anatomies of the Heart in Aristotle, Augustine, Aquinas, Calvin, and Harvey by

bigCover of the book Dis/abled Childhoods? by

bigCover of the book The Queer Greek Weird Wave by

bigCover of the book Emission of Radio Waves in Particle Showers by

bigCover of the book Secular Martyrdom in Britain and Ireland 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