Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
We couldn't estimate the reading time for this book.
Publication
2013 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783642396342
- ISBN-103642396348
- Better World Books9783642396342
- Open LibraryOL35789765M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!