logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science) - Jim Grundy, Malcolm Newey
Add cover
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science)
by: (author) (author)
Format: kindle
ASIN: B000QEIPWU
Publisher: Springer
Pages no: 504
Edition language: English
Bookstores:
Books by Jim Grundy
Books by Malcolm Newey
Share this Book
Need help?