Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3, Book 2152, (Paperback)

Name: Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3, Book 2152, (Paperback)
Brand: Richard J Boulton
SKU: prod_db888fb51bbd7b2a76eec125
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3, Book 2152, (Paperback) Author: Springer ISBN: 9783540425250 Format: Paperback Publication Date: 2001-08-22 Page Count: 402

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3, Book 2152, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3, Book 2152, (Paperback)—

$118.00