Home > Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Book Informaton
Author
Sandrine Blazy; Christine Paulin-Mohring; David Pichardie
Series
Lecture Notes in Computer Science
Volume
7998
Year of Publication
2013
Publisher
Springer Berlin Heidelberg
Pages
XII, 498
Language
en
ISBN
9783642396335, 9783642396342, 364239633X
ARI Id
1664775981839
This page has been accessed 3 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 40 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-16 | |||
17-17 | |||
18-18 | |||
19-34 | |||
35-50 | |||
51-66 | |||
67-83 | |||
84-99 | |||
100-115 | |||
116-132 | |||
133-146 | |||
147-162 | |||
163-179 | |||
180-196 | |||
197-212 | |||
213-228 | |||
229-244 | |||
245-260 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 40 entries