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 Functional Analysis and the Feynman Operator Calculus by

bigCover of the book How Ireland Voted 2016 by

bigCover of the book Pattern Recognition by

bigCover of the book Compact Heat Exchangers by

bigCover of the book Nanoscience in Food and Agriculture 3 by

bigCover of the book Mobile Web and Intelligent Information Systems by

bigCover of the book Privacy Technologies and Policy by

bigCover of the book Postoperative Care in Thoracic Surgery by

bigCover of the book Electrochemistry in Ionic Liquids by

bigCover of the book Guide to Computational Modelling for Decision Processes by

bigCover of the book Leucine-Rich Repeat Kinase 2 (LRRK2) by

bigCover of the book Future Data and Security Engineering by

bigCover of the book Inertial Confinement Fusion Driven Thermonuclear Energy by

bigCover of the book Mass Spectrometry by

bigCover of the book Dynamics in Logistics 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