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 Decision Taking, Confidence and Risk Management in Banks from Early Modernity to the 20th Century by

bigCover of the book Shape Memory Alloy Valves by

bigCover of the book Jihadist Infiltration of Migrant Flows to Europe by

bigCover of the book Love and Sex with Robots by

bigCover of the book Synopsis of Pathophysiology in Nuclear Medicine by

bigCover of the book Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18) by

bigCover of the book Learning from Dynamic Visualization by

bigCover of the book Edgar Rubin and Psychology in Denmark by

bigCover of the book Signals and Systems by

bigCover of the book Information and Communication Technologies of Ecuador (TIC.EC) by

bigCover of the book The Lattice of Subquasivarieties of a Locally Finite Quasivariety by

bigCover of the book Smart Learning Objects for Smart Education in Computer Science by

bigCover of the book Comprehensive Healthcare Simulation: Pediatrics by

bigCover of the book The Impact of Cleavages on Swiss Voting Behaviour by

bigCover of the book Gold-Catalyzed Cycloisomerization Reactions Through Activation of Alkynes 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