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 Explicit and Implicit Prosody in Sentence Processing by

bigCover of the book Information and Communication Technologies in Tourism 2017 by

bigCover of the book Design of Shape Memory Alloy (SMA) Actuators by

bigCover of the book On the Ethical Imperatives of the Interregnum by

bigCover of the book Advanced Materials for the Conservation of Stone by

bigCover of the book Ignition and Wave Processes in Combustion of Solids by

bigCover of the book Surveys in Differential-Algebraic Equations IV by

bigCover of the book Comprehensive Guide to Neurosurgical Conditions by

bigCover of the book Exploring the World with the Laser by

bigCover of the book Social, Cultural, and Behavioral Modeling by

bigCover of the book Advanced Computer and Communication Engineering Technology by

bigCover of the book Innovation for Engineers by

bigCover of the book Fusion in Computer Vision 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