Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: 7th: International Workshop, Valletta, Malta, September 19-22, 1944 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1994)


OUR TOP PICK

$151.46

Free postage
Quantity
2 available
Condition
Brand new
Sold by
oodals (88869)99.6% Positive Feedback
Delivery
Est. 3 Feb - 15 FebFrom United Kingdom
Returns
3 days money back
Buyer pays return postage