Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing

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 Advances in Internetworking, Data & Web Technologies by

bigCover of the book New Advances on Chaotic Intermittency and its Applications by

bigCover of the book Memories from the Frontline by

bigCover of the book Emergent Knowledge Strategies by

bigCover of the book Structural Pattern Recognition with Graph Edit Distance by

bigCover of the book Intelligent Computing Systems by

bigCover of the book Pulmonary Health and Disorders by

bigCover of the book Gender, Authorship, and Early Modern Women’s Collaboration by

bigCover of the book The Sudoku Effect: Universities in the Vicious Circle of Bureaucracy by

bigCover of the book Chemical Electrostatics by

bigCover of the book Alien Species and Insect Conservation by

bigCover of the book Differential Privacy and Applications by

bigCover of the book Physics with Electrons in the ATLAS Detector by

bigCover of the book Advances in Dynamic and Mean Field Games by

bigCover of the book Smart Cards, Tokens, Security and Applications 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