Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540451303
- ISBN-103540451307
- Better World Books9783540451303
- Open LibraryOL37105185M
Classifications
- LCCB1-5802
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!