Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 3 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries