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 Human Interface and the Management of Information: Information, Design and Interaction by
Cover of the book Quantitative Evaluation of Systems by
Cover of the book Exploring Religion and Diversity in Canada by
Cover of the book Researching Second Language Learning and Teaching from a Psycholinguistic Perspective by
Cover of the book Geometric Science of Information by
Cover of the book Moment Tensor Solutions by
Cover of the book Transport and Fluctuations in Granular Fluids by
Cover of the book Inequality and Organizational Practice by
Cover of the book Teaching Victorian Literature in the Twenty-First Century by
Cover of the book Approximation with Positive Linear Operators and Linear Combinations by
Cover of the book Data-Based Child Advocacy by
Cover of the book Nanotechnology in Endodontics by
Cover of the book Rabindranath Tagore by
Cover of the book Molecular Breeding of Forage and Turf by
Cover of the book Mechanical Circulatory Support in End-Stage Heart Failure 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