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 After-School Programs to Promote Positive Youth Development by

bigCover of the book Antitrust in Pharmaceutical Markets & Geographical Rules of Origin by

bigCover of the book Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development by

bigCover of the book Internet of Things and Big Data Technologies for Next Generation Healthcare by

bigCover of the book Managing Hybrid Organizations by

bigCover of the book Change and Maintaining Change by

bigCover of the book Computer Vision – ECCV 2018 Workshops by

bigCover of the book Development of Quality of Life Theory and Its Instruments by

bigCover of the book Robotics Research by

bigCover of the book Pediatric Surgery by

bigCover of the book Osteoporosis Rehabilitation by

bigCover of the book Mathematische Logik by

bigCover of the book Computational Physics 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