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 Econometrics for Financial Applications by

bigCover of the book Euro-Par 2018: Parallel Processing by

bigCover of the book The European Union and Europe's New Regionalism by

bigCover of the book Ideals, Varieties, and Algorithms by

bigCover of the book Formal Techniques for Distributed Objects, Components, and Systems by

bigCover of the book Artificial Intelligence by

bigCover of the book Multiculturalism, Multilingualism and the Self by

bigCover of the book Industrial Neuroscience in Aviation by

bigCover of the book Institutions, Governance and the Control of Corruption by

bigCover of the book Mathematical Immunology of Virus Infections by

bigCover of the book Bayesian Cost-Effectiveness Analysis with the R package BCEA by

bigCover of the book Sigma Proteins: Evolution of the Concept of Sigma Receptors by

bigCover of the book Imaging and Manipulation of Adsorbates Using Dynamic Force Microscopy by

bigCover of the book Submodularity in Dynamics and Control of Networked Systems 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