Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-2, Book 1275, (Paperback)

Name: Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-2, Book 1275, (Paperback)
Brand: Elsa L Gunter
SKU: prod_6ee6b4c8b223a815025e6449
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-2, Book 1275, (Paperback) Author: Springer ISBN: 9783540633792 Format: Paperback Publication Date: 1997-08-06 Page Count: 346

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-2, Book 1275, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-2, Book 1275, (Paperback)—

$118.00