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 Cognitive Wireless Networks by

bigCover of the book The Psychology of Buddhism in Conflict Studies by

bigCover of the book Intelligent Data Engineering and Automated Learning – IDEAL 2017 by

bigCover of the book Never Split Tens! by

bigCover of the book Rare Tumors and Tumor-like Conditions in Urological Pathology by

bigCover of the book Exploring the Security Landscape: Non-Traditional Security Challenges by

bigCover of the book Green Infrastructure Financing by

bigCover of the book Fuzzy Differential Equations in Various Approaches by

bigCover of the book Shared Knowledge, Shared Power by

bigCover of the book Advanced Intelligent Systems for Sustainable Development (AI2SD’2018) by

bigCover of the book Sparse Grids and Applications - Stuttgart 2014 by

bigCover of the book Vascular Lesions of the Orbit and Face by

bigCover of the book Advances in Network-Based Information Systems by

bigCover of the book Evolutionary Computation in Combinatorial Optimization by

bigCover of the book Nationalism in Contemporary Western European Cinema 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