Claude Kirchner U A (3 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.35
£ 58.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Deduction - CADE-15 | 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings | Claude Kirchner (u. a.) | Taschenbuch | xiv | Englisch | 1998 | Springer | EAN 9783540646754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.53
£ 58.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Rewriting, Computation and Proof | Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday | Hubert Comon-Lundh (u. a.) | Taschenbuch | xvi | Englisch | 2007 | Springer | EAN 9783540731467 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.53
£ 58.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal to Practical Security | Papers Issued from the 2005-2008 French-Japanese Collaboration | Véronique Cortier (u. a.) | Taschenbuch | vii | Englisch | 2009 | Springer | EAN 9783642020018 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
