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
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