Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1, Book 859, (Paperback)

Name: Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1, Book 859, (Paperback)
Brand: Thomas F Melham
SKU: prod_c1a8d57c667dbff82db7996c
Price: 117.00 USD
Availability: InStock

Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1, Book 859, (Paperback) Author: Springer ISBN: 9783540584506 Format: Paperback Publication Date: 1994-09-07 Page Count: 477

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1, Book 859, (Paperback)—

$117.00

Price unavailable

Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1, Book 859, (Paperback)—

$117.00