Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2007)


OUR TOP PICK

£97.56

Quantity
More than 10 available
Condition
New
Sold by
Business seller: grey_elk_books_au_and_uk (82604)99.7% positive Feedback
Returns
Buyer pays return postage