Joe Hurd U A (1 results)

Author:

Refine with Advanced Search

More images
Theorem Proving in Higher Order Logics | 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Joe Hurd (u. a.)
Language: English
Published by Springer, 2005
3540283722 / 9783540283720
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
£ 44.25
£ 59.84 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
Taschenbuch. Condition: Neu. Theorem Proving in Higher Order Logics | 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings | Joe Hurd (u. a.) | Taschenbuch | x | Englisch | 2005 | Springer | EAN 9783540283720 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 He…