Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing

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 Second International Handbook of Urban Education by

bigCover of the book Green IT Engineering: Concepts, Models, Complex Systems Architectures by

bigCover of the book Pervasive Wireless Environments: Detecting and Localizing User Spoofing by

bigCover of the book Cryptographic Hardware and Embedded Systems – CHES 2017 by

bigCover of the book The Parasite-Stress Theory of Values and Sociality by

bigCover of the book Search for Exotic Mono-jet Events by

bigCover of the book Anxieties, Fear and Panic in Colonial Settings by

bigCover of the book Basics of PET Imaging by

bigCover of the book The Northern Sea Route as a Shipping Lane by

bigCover of the book The Power of Memory and Violence in Central America by

bigCover of the book Climate Change in the Himalayas by

bigCover of the book Cities in Global Transition by

bigCover of the book Catalysis for Green Energy and Technology by

bigCover of the book Antoine-Augustin Cournot as a Sociologist by

bigCover of the book Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking 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