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
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