Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 19, Book 1690, (Paperback)

Name: Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 19, Book 1690, (Paperback)
Brand: Yves Bertot
SKU: prod_43c7ed6c59946ece0eaaca1f
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 19, Book 1690, (Paperback) Author: Springer ISBN: 9783540664635 Format: Paperback Publication Date: 1999-09-01 Page Count: 364

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 19, Book 1690, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 19, Book 1690, (Paperback)—

$118.00