Pre-Owned Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop Hug 93 Vancouver B.C. Cana Book 780 (Paperback)

Pre-Owned Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop Hug 93 Vancouver B.C. Cana Book 780 (Paperback)

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User s Group Workshop held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was...


Walmart

$65.58
Free Delivery

Go to store
Items per page