Gerwin Klein U A (1 results)
Author:
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.27
US$ 79.92 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Interactive Theorem Proving | 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings | Gerwin Klein (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2014 | Springer | EAN 9783319089690 |… Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
