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 Human Subject Research for Engineers by

bigCover of the book Ergodic Optimization in the Expanding Case by

bigCover of the book The Management of Additive Manufacturing by

bigCover of the book Face Recognition Across the Imaging Spectrum by

bigCover of the book Brain-Inspired Computing by

bigCover of the book International Food Law and Policy by

bigCover of the book How To Write Your First Thesis by

bigCover of the book First Measurement of the Muon Anti-Neutrino Charged Current Quasielastic Double-Differential Cross Section by

bigCover of the book Modeling and Design of Flexible Pavements and Materials by

bigCover of the book Counting with Symmetric Functions by

bigCover of the book Charge-Sharing SAR ADCs for Low-Voltage Low-Power Applications by

bigCover of the book Mechanical Ventilation in the Critically Ill Obese Patient by

bigCover of the book Economic Perspectives on Craft Beer by

bigCover of the book Mobile Web and Intelligent Information Systems by

bigCover of the book Basic Needs, Wellbeing and Morality 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