Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully review...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Blazy, Sandrine (Editor, http://id.loc.gov/vocabulary/relators/edt), Paulin-Mohring, Christine (Editor, http://id.loc.gov/vocabulary/relators/edt), Paulin-Mohring, Christine, 1962- (Editor, http://id.loc.gov/vocabulary/relators/edt), Pichardie, David (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Book
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Edition:	1st ed. 2013
Series:	Computer Science (Springer-11645) Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 7998. LNCS sublibrary Theoretical computer science and general issues 7998
Subjects:	Algorithms Artificial intelligence Computer logic Computer science Computer security Data protection Logic, Symbolic and mathematical Machine theory Software engineering Formal Languages and Automata Theory Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Artificial Intelligence Computer Science Logic and Foundations of Programming Data and Information Security Logics and Meanings of Programs Software Engineering Systems and Data Security

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

Internet

Similar Items