Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing
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: 9783319221021
Publisher: Springer International Publishing Publication: August 18, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319221021
Publisher: Springer International Publishing
Publication: August 18, 2015
Imprint: Springer
Language: English

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

More books from Springer International Publishing

Cover of the book Fruit Fly Research and Development in Africa - Towards a Sustainable Management Strategy to Improve Horticulture by
Cover of the book Europe, the Crisis, and the Internet by
Cover of the book Pediatric Vascular Neurosurgery by
Cover of the book Biochemical Roles of Eukaryotic Cell Surface Macromolecules by
Cover of the book Agglomeration and Firm Performance by
Cover of the book Computer Networks by
Cover of the book Is ‘Fuzzy Theory’ an Appropriate Tool for Large Size Problems? by
Cover of the book Topical Issues in Anesthesia and Intensive Care by
Cover of the book Computational Science/Intelligence and Applied Informatics by
Cover of the book Astronomy of the Milky Way by
Cover of the book Data Privacy Games by
Cover of the book Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2017 by
Cover of the book Index and Query Methods in Road Networks by
Cover of the book Universal Access in Human-Computer Interaction. Users and Context Diversity by
Cover of the book Integrative Approaches to Sustainable Development at University Level 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