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 Race, Equity, and Education by
Cover of the book Orofacial Pain by
Cover of the book Acoustic Sensors for Biomedical Applications by
Cover of the book Advances in Network-Based Information Systems by
Cover of the book Periglacial Preconditioning of Debris Flows in the Southern Alps, New Zealand by
Cover of the book The Semantic Web – ISWC 2016 by
Cover of the book Climate Change Impacts and Adaptation in Water Resources and Water Use Sectors by
Cover of the book Quantum Mechanics for Pedestrians 1: Fundamentals by
Cover of the book Innovative Assessment of Collaboration by
Cover of the book Governance in South, Southeast, and East Asia by
Cover of the book Optimization Problems and Their Applications by
Cover of the book History and Philosophy of Computing by
Cover of the book Climate of the Romanian Carpathians by
Cover of the book Computational Nanomedicine and Nanotechnology by
Cover of the book Theoretical Developments and Applications of Non-Integer Order Systems 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