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 Readings in Formal Epistemology by

bigCover of the book Australian Contributions to Strategic and Military Geography by

bigCover of the book Congregations in Europe by

bigCover of the book Landscapes of Eternal Return by

bigCover of the book Identification Methods for Structural Health Monitoring by

bigCover of the book Introduction to Plasma Physics and Controlled Fusion by

bigCover of the book Respiratory Ailments in Context by

bigCover of the book Nutrition Therapy for Urolithiasis by

bigCover of the book Smart Sustainable Cities of the Future by

bigCover of the book Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety by

bigCover of the book Chemistry and Hygiene of Food Additives by

bigCover of the book Challenges in Fluid Dynamics by

bigCover of the book E-commerce Platform Acceptance by

bigCover of the book The UN System and Cities in Global Governance 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