Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1996
ISBN 10: 3540615113 ISBN 13: 9783540615118
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: My Dead Aunt's Books, Hyattsville, MD, USA
Hardcover. Zustand: Very GOOD. Zustand des Schutzumschlags: GOOD. Unmarked hardcover in unclipped jacket. Rear cover has a large scuff.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 36,33
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 210 pages. 9.25x6.25x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 1996
ISBN 10: 3540615113 ISBN 13: 9783540615118
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Broschiert Broschiert. Zustand: Gut. XV, 788 S. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Buchschnitt leicht verschmutzt, Einband leicht berieben. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 996.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 149,79
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540615113 ISBN 13: 9783540615118
Anbieter: moluna, Greven, Deutschland
EUR 119,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC 96.The volume presents 46 revised regular papers selected from a to.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 162,24
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 764 pages. 9.30x6.10x1.60 inches. In Stock.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 1996
ISBN 10: 3540615113 ISBN 13: 9783540615118
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
Anbieter: Studibuch, Stuttgart, Deutschland
paperback. Zustand: Sehr gut. 252 Seiten; 9783658148270.2 Gewicht in Gramm: 500.