Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceeding
N/A
ISBN 10: 3540617329 ISBN 13: 9783540617327
Verlag: Springer, 1996
Neu
Softcover
Verkäufer
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 27. Februar 2001
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
1996. Paperback. . . . . . Bestandsnummer des Verkäufers V9783540617327
Inhaltsangabe:
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.
Reseña del editor:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Artificial Intelligence and Symbolic ...
Verlag: Springer
Erscheinungsdatum: 1996
Einband: Softcover
Zustand: New
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)
Anbieter: Bookmonger.Ltd, HILLSIDE, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers mon0000406261
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings
Verlag:
Springer Verlag, New York, 1996
ISBN 10: 3540617329
ISBN 13: 9783540617327
Gebraucht
Hardcover
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 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]. Bestandsnummer des Verkäufers 010807
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Bestandsnummer des Verkäufers UTD1421591
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Mathematical Computation
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 5865244
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Mathematical Computation
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 396. Bestandsnummer des Verkäufers 263064003
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Mathematical Computation
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 396. Bestandsnummer des Verkäufers 183064009
Anzahl: 4 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Mathematical Computation
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4895730
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science, 1138)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020172411
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 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. Bestandsnummer des Verkäufers 9783540617327
Anzahl: 1 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, Aismc-3 Steyr, Austria, September 23-25, 1996 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5905610-n
Anzahl: 15 verfügbar