Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540446590
- ISBN-103540446591
- Better World Books9783540446590
- Open LibraryOL37124767M
Classifications
- LCCQ334-342
Subjects
Topics
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!