Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

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 Progress in Photon Science by

bigCover of the book Policy Agendas in Australia by

bigCover of the book MultiMedia Modeling by

bigCover of the book Endophytes: Crop Productivity and Protection by

bigCover of the book Cord Blood Transplantations by

bigCover of the book The Iodine Molecule by

bigCover of the book The Early Solov’ëv and His Quest for Metaphysics by

bigCover of the book Marine Isotope Stage 3 in Southern South America, 60 KA B.P.-30 KA B.P. by

bigCover of the book US-Chinese Strategic Triangles by

bigCover of the book Information Management and Big Data by

bigCover of the book Applied Behavior Analysis by

bigCover of the book Women in Security by

bigCover of the book Bifurcation and Degradation of Geomaterials with Engineering Applications by

bigCover of the book Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection 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