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
Cover of the book Interactive Theorem Proving by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319661070
Publisher: Springer International Publishing Publication: September 4, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319661070
Publisher: Springer International Publishing
Publication: September 4, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.

The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.

The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

More books from Springer International Publishing

Cover of the book Computer Supported Qualitative Research by
Cover of the book Transforming IQ into “Orthopédie Mentale“ by
Cover of the book Emerging and Traditional Technologies for Safe, Healthy and Quality Food by
Cover of the book Graph Drawing and Network Visualization by
Cover of the book Acute and Chronic Neural Stimulation via Mechano-Sensitive Ion Channels by
Cover of the book Human Interface and the Management of Information: Information, Knowledge and Interaction Design by
Cover of the book Heat Transfer and Pressure Drop in Flow Boiling in Microchannels by
Cover of the book The Stratifying Trade Union by
Cover of the book Central Banking and Financial Stability in East Asia by
Cover of the book Progress in Artificial Intelligence by
Cover of the book Varying Gravity by
Cover of the book Theory and Applications of Satisfiability Testing – SAT 2017 by
Cover of the book Early Onset Scoliosis by
Cover of the book Advances in Neural Computation, Machine Learning, and Cognitive Research by
Cover of the book Unequal Accommodation of Minority Rights 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