Anbieter: Ammareal, Morangis, Frankreich
EUR 3,23
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Légères traces d'usure sur la couverture. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Slight signs of wear on the cover. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
Couverture souple. Zustand: bon. RO20028017: 1996. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 23 pages. . . . Classification Dewey : 841-Poésie.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
2004th ed. 17 x 24 cm. 352 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 115,84
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 532 pages. 9.25x6.10x1.18 inches. In Stock.
Zustand: New.
EUR 135,02
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Verlag: Springer International Publishing, Springer Nature Switzerland Jun 2020, 2020
ISBN 10: 3030510530 ISBN 13: 9783030510534
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 129,85
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 700 pages. 9.25x6.10x1.18 inches. In Stock.
Verlag: Springer Nature Switzerland, 2020
ISBN 10: 3030510530 ISBN 13: 9783030510534
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Automated Reasoning | 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II | Viorica Sofronie-Stokkermans (u. a.) | Taschenbuch | xvii | Englisch | 2020 | Springer Nature Switzerland | EAN 9783030510534 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Zustand: New.
Verlag: Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030510530 ISBN 13: 9783030510534
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Verlag: Springer International Publishing, Springer Nature Switzerland Jun 2020, 2020
ISBN 10: 3030510735 ISBN 13: 9783030510732
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.
Verlag: Springer Nature Switzerland, 2020
ISBN 10: 3030510735 ISBN 13: 9783030510732
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Automated Reasoning | 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I | Viorica Sofronie-Stokkermans (u. a.) | Taschenbuch | xxvii | Englisch | 2020 | Springer Nature Switzerland | EAN 9783030510732 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer International Publishing, 2020
ISBN 10: 3030510735 ISBN 13: 9783030510732
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
EUR 178,35
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model buildi.
Verlag: 2014, 2014
Sprache: Deutsch
Anbieter: suspiratio - online bücherstube lic.phil h.b., Basel, Schweiz
Softcover. Zustand: Wie neu. BROSCHIERT, NEUWERTIG, WAR NOCH IN FOLIE, 114 SEITEN - nur xl-734.