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 Methodological Reflections on Practice Oriented Theories by

bigCover of the book Reflections on Ethics and Responsibility by

bigCover of the book The Business of Social and Environmental Innovation by

bigCover of the book Precision Molecular Pathology of Uterine Cancer by

bigCover of the book Oral Anticoagulation Therapy by

bigCover of the book Cybercrime, Organized Crime, and Societal Responses by

bigCover of the book Recent Advances in Information and Communication Technology 2018 by

bigCover of the book Advancement of Optical Methods in Experimental Mechanics, Volume 3 by

bigCover of the book Pediatric Lower Limb Deformities by

bigCover of the book Inter-Regional Place Branding by

bigCover of the book Transition and Change in Collectivist Family Life by

bigCover of the book Parallel and Distributed Map Merging and Localization by

bigCover of the book Agent-Based Simulation of Organizational Behavior by

bigCover of the book Active Surveillance for Localized Prostate Cancer by

bigCover of the book Stochastic Flood Forecasting System 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