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

$188.00

Free postage
quantity
2 available
condition
Brand new
sold by
delivery
Est. 29 Dec - 11 JanFrom United Kingdom
Returns
30 days money back
Buyer pays return postage