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 Beyond Bureaucracy by

bigCover of the book Fundamentals of Hopf Algebras by

bigCover of the book The Palgrave Handbook of Artistic and Cultural Responses to War since 1914 by

bigCover of the book Legal Scholarship as a Source of Law by

bigCover of the book The Economics of Emergency Food Aid Provision by

bigCover of the book Text Analysis with R for Students of Literature by

bigCover of the book Solving Large Scale Learning Tasks. Challenges and Algorithms by

bigCover of the book Social Computing and Social Media by

bigCover of the book Aesthetics and Neuroscience by

bigCover of the book Intelligent Network Integration of Distributed Renewable Generation by

bigCover of the book Virtual Weaponry by

bigCover of the book Theory and Applications of Models of Computation by

bigCover of the book Contesting the Theological Foundations of Islamism and Violent Extremism by

bigCover of the book Resources for Teaching Mindfulness by

bigCover of the book A Day-by-Day Chronicle of the 2013-2016 Ebola Outbreak 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