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 Reasoning with Rough Sets by

bigCover of the book Environmental Sustainability from the Himalayas to the Oceans by

bigCover of the book Design and Implementation of the MTX Operating System by

bigCover of the book Visual Cryptography for Image Processing and Security by

bigCover of the book Preventive Methods for Coastal Protection by

bigCover of the book Statistical Language and Speech Processing by

bigCover of the book Integral and Discrete Inequalities and Their Applications by

bigCover of the book Public Sector Reform in Ireland by

bigCover of the book Decision Making and Knowledge Decision Support Systems by

bigCover of the book Off-road Vehicle Dynamics by

bigCover of the book Weighting Methods and their Effects on Multi-Criteria Decision Making Model Outcomes in Water Resources Management by

bigCover of the book Early Gastrointestinal Cancers II: Rectal Cancer by

bigCover of the book Exploring Services Science by

bigCover of the book Orthopaedic Trauma in the Austere Environment 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