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 Modelling of Plasmonic and Graphene Nanodevices by

bigCover of the book Polyelectrolytes by

bigCover of the book Exploring the Design and Effects of Internal Knowledge Markets by

bigCover of the book Potato virus Y: biodiversity, pathogenicity, epidemiology and management by

bigCover of the book Reframing Critical, Literary, and Cultural Theories by

bigCover of the book Parameter Advising for Multiple Sequence Alignment by

bigCover of the book Health Informatics Data Analysis by

bigCover of the book Economic Analysis of Contract Law by

bigCover of the book Energy Efficiency Clauses in Charter Party Agreements by

bigCover of the book Small-Gauge Vitrectomy for Diabetic Retinopathy by

bigCover of the book Minimally Invasive Coloproctology by

bigCover of the book Graphene-Based Polymer Nanocomposites in Electronics by

bigCover of the book Fostering Internationalism through Marine Science by

bigCover of the book The Souss‐Massa River Basin, Morocco by

bigCover of the book Structural Pattern Recognition with Graph Edit Distance 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