Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, 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 Diagrammatic Representation and Inference by

bigCover of the book Direct and Large-Eddy Simulation X by

bigCover of the book The NexStar Evolution and SkyPortal User's Guide by

bigCover of the book Topological Structures in Ferroic Materials by

bigCover of the book Managing Indoor Environments and Energy in Buildings with Integrated Intelligent Systems by

bigCover of the book Implantable Medical Electronics by

bigCover of the book Underwater Seascapes by

bigCover of the book Geometric and Numerical Foundations of Movements by

bigCover of the book Introduction to Artificial Intelligence by

bigCover of the book Concise Dictionary of Engineering by

bigCover of the book Citizen Empowered Mapping by

bigCover of the book Evolutionary Biology by

bigCover of the book Lobbying in the European Parliament by

bigCover of the book Data Activism and Social Change 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