Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2005)


OUR TOP PICK

$250.95

+ $50.00 postage
Quantity
2 available
Condition
Brand new
Sold by
ausreseller (125546)97.6% positive Feedback
Delivery
Est. 26 Sep - 6 OctFrom West Ryde, NSW
Returns
No returns, but backed by eBay Money Back Guarantee