Uwe Egly U A (2 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.42
£ 59.90 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theory and Applications of Satisfiability Testing - SAT 2014 | 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings | Carsten Sinz (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2014 | Spring…er | EAN 9783319092836 | 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
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.29
£ 59.90 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Reasoning with Analytic Tableaux and Related Methods | International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings | Uwe Egly (u. a.) | Taschenbuch | Englisch | 2002 | Springer | EAN 9783540439295 | Verantwortliche Person für die EU: Springer Nature C…ustomer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.