Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Pr, Book 2758, (Paperback)

Name: Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Pr, Book 2758, (Paperback)
Brand: David Basin
SKU: prod_05b571fa0f55fd25b6f506b0
Price: 121.00 USD
Availability: InStock

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Pr, Book 2758, (Paperback) Author: Springer ISBN: 9783540406648 Format: Paperback Publication Date: 2003-08-21 Page Count: 366

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Pr, Book 2758, (Paperback)—

$121.00

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Pr, Book 2758, (Paperback)—

$121.00