Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98, Canberra, Australia, September 27, Book 1479, (Paperback)

Name: Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98, Canberra, Australia, September 27, Book 1479, (Paperback)
Brand: Jim Grundy
SKU: prod_97a72b7e2fb7eb756739568a
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98, Canberra, Australia, September 27, Book 1479, (Paperback) Author: Springer ISBN: 9783540649878 Format: Paperback Publication Date: 1998-09-09 Page Count: 496

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98, Canberra, Australia, September 27, Book 1479, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98, Canberra, Australia, September 27, Book 1479, (Paperback)—

$118.00