Berghöfer Stefan U A (1 results)
Author:
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.15
£ 59.53 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theorem Proving in Higher Order Logics | 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings | Stefan Berghofer (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642033582 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr…. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
