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 Clinical Diagnosis in Plastic Surgery by
Cover of the book Eighteenth-Century Women's Writing and the 'Scandalous Memoir' by
Cover of the book Fluorine in Heterocyclic Chemistry Volume 2 by
Cover of the book Solution Precursor Plasma Spray System by
Cover of the book Exploring the Early Universe with Gravitational Waves by
Cover of the book Topics on Methodological and Applied Statistical Inference by
Cover of the book Contemporary Trends and Challenges in Finance by
Cover of the book Nuclear Power Plant Emergencies in the USA by
Cover of the book Human-Computer Interaction. Theory, Design, Development and Practice by
Cover of the book Challenging Popular Myths of Sex, Gender and Biology by
Cover of the book The Realizations of the Self by
Cover of the book Corruption, Ideology, and Populism by
Cover of the book The Draft Common Frame of Reference as a "Toolbox" for Domestic Courts by
Cover of the book An Illustrated Guide to Pediatric Surgery by
Cover of the book Mechanical and Materials Engineering of Modern Structure and Component Design 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