Anbieter: Bookmonger.Ltd, HILLSIDE, NJ, USA
EUR 12,74
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
Verlag: Springer Verlag, New York, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Sprache: Englisch
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
EUR 13,65
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. No Jacket. Hardcover 1996 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;1138.[viii, 379 p. : ill. ; 24 cm].
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 15,38
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Anbieter: Books Puddle, New York, NY, USA
EUR 45,71
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 396.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 44,78
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 46,16
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 396.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 54,17
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,35
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 88,93
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 124,35
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book we.
Verlag: Springer Berlin Heidelberg Sep 1996, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 85,59
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction. 396 pp. Englisch.