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:
Jim Grundy (author)
Malcolm Newey (author)
Format: kindle
ASIN: B000QEIPWU
Publish date: June 13th 2008
Publisher: Springer
Pages no: 504
Edition language: English