Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002, Book 2410, (Paperback)

Name: Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002, Book 2410, (Paperback)
Brand: Victor A Carreno
SKU: prod_46422c49cb2e066324919b6e
Price: 121.00 USD
Availability: InStock

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002, Book 2410, (Paperback) Author: Springer ISBN: 9783540440390 Format: Paperback Publication Date: 2002-08-07 Page Count: 347

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002, Book 2410, (Paperback)—

$121.00

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002, Book 2410, (Paperback)—

$121.00