Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)


OUR TOP PICK

£176.89

+ £2.80 P&P
Quantity
1 available
Condition
New
Sold by
Business seller: roxy*media*uk (212259)98.8 % positive Feedback
Delivery
Est. 26 JanFrom England
Returns
Buyer pays return postage