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 Evolution of Broadcast Content Distribution by

bigCover of the book Mechanics of Biological Systems and Materials, Volume 6 by

bigCover of the book Serious Games in Physical Rehabilitation by

bigCover of the book Future Solar Energy Devices by

bigCover of the book Investigating the Origin of the Asteroids and Early Findings on Vesta by

bigCover of the book Synchronization in Networks of Nonlinear Circuits by

bigCover of the book Proceedings of 6th International Conference in Software Engineering for Defence Applications by

bigCover of the book Fatigue Crack Growth by

bigCover of the book Global Innovation and Entrepreneurship by

bigCover of the book Robot Intelligence Technology and Applications 5 by

bigCover of the book Serious Games, Interaction, and Simulation by

bigCover of the book High Efficiency Video Coding (HEVC) by

bigCover of the book Crowdsourcing of Sensor Cloud Services by

bigCover of the book Corporate Social Responsibility and Reporting in Sports Organizations by

bigCover of the book REBT in the Treatment of Anxiety Disorders in Children and Adults 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