Related Books
Language: en
Pages: 236
Pages: 236
Type: BOOK - Published: 1990 - Publisher:
Language: en
Pages: 1140
Pages: 1140
Type: BOOK - Published: 2005-10-05 - Publisher: Springer
Language: en
Pages: 405
Pages: 405
Type: BOOK - Published: 2003-06-30 - Publisher: Springer
This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3–6 September 2001 i
Language: en
Pages: 1010
Pages: 1010
Type: BOOK - Published: 1990 - Publisher:
Language: en
Pages: 816
Pages: 816
Type: BOOK - Published: 2000 - Publisher: