Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2008)


OUR TOP PICK

$121.53

+ $7.50 postage
Quantity
2 available
Condition
Brand new
Sold by
roxy*books (272472)98.6% Positive Feedback
Delivery
Est. 9 Mar - 17 MarFrom United Kingdom
Returns
14 days money back
Buyer pays return postage