Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

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 Ultrasound Program Management by

bigCover of the book Digital Transformation and Global Society by

bigCover of the book ECML PKDD 2018 Workshops by

bigCover of the book Marine Conservation Paleobiology by

bigCover of the book Use of Economic Instruments in Water Policy by

bigCover of the book Iron Catalysis II by

bigCover of the book A History of British Actuarial Thought by

bigCover of the book New Advancements in Swarm Algorithms: Operators and Applications by

bigCover of the book Voice and Discourse in the Irish Context by

bigCover of the book The Decision to Delist from the Stock Market by

bigCover of the book ROMANSY 22 – Robot Design, Dynamics and Control by

bigCover of the book Proceedings of the Mediterranean Conference on Information & Communication Technologies 2015 by

bigCover of the book Presidential Elections in Mexico by

bigCover of the book Derivative Spectrophotometry and PAM-Fluorescence in Comparative Biochemistry 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