Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 , Book 971, (Paperback)

Name: Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 , Book 971, (Paperback)
Brand: E Thomas Schubert
SKU: prod_8a7cc2eb74cad7f4f2e5ff1d
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 , Book 971, (Paperback) Author: Springer ISBN: 9783540602750 Format: Paperback Publication Date: 1995-08-23 Page Count: 408

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 , Book 971, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 , Book 971, (Paperback)—

$118.00