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 Ad-hoc, Mobile, and Wireless Networks by
Cover of the book Dynamics of Parallel Robots by
Cover of the book A Transnational Analysis of Representations of the US Filibusters in Nicaragua, 1855-1857 by
Cover of the book Geography of Small Islands by
Cover of the book Galactic and Intergalactic Magnetic Fields by
Cover of the book Storing and Transmitting Data by
Cover of the book Tactics and Procurement in the Habsburg Military, 1866-1918 by
Cover of the book Evangelical Pilgrims from the East by
Cover of the book Electronic Government by
Cover of the book Brain and Mind by
Cover of the book Fluid Flow and Heat Transfer in Rotating Porous Media by
Cover of the book Ultrasonography of the Upper Extremity: Elbow by
Cover of the book Migration, Cross-Border Trade and Development in Africa by
Cover of the book Prokaryotes and Evolution by
Cover of the book The Ordinary Presidency of Donald J. Trump 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