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 Controlled Drug Delivery Systems by

bigCover of the book Confronting Gun Violence in America by

bigCover of the book Lipids in Plant and Algae Development by

bigCover of the book American Crime Fiction by

bigCover of the book Dynamics of Civil Structures, Volume 2 by

bigCover of the book Archaeological Landscape Evolution by

bigCover of the book High Impulse Voltage and Current Measurement Techniques by

bigCover of the book The Semantic Web – ISWC 2018 by

bigCover of the book From Majority Rule to Inclusive Politics by

bigCover of the book Proceedings of 5th International Conference in Software Engineering for Defence Applications by

bigCover of the book Trends and Advances in Information Systems and Technologies by

bigCover of the book Ethical Dimensions of Islamic Finance by

bigCover of the book Low Power Active Electrode ICs for Wearable EEG Acquisition by

bigCover of the book Nomic Truth Approximation Revisited by

bigCover of the book Connecting a Digital Europe Through Location and Place 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