Verwandte Artikel zu Artificial Intelligence and Symbolic Mathematical Computatio...

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings: 1138 (Lecture Notes in Computer Science) - Softcover

Campbell, John A.; Pfalzgraf, Jochen; Calmet, Jaques

 
9783540617327: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings: 1138 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540617329 ISBN 13: 9783540617327
Verlag: Springer, 2008

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

  • VerlagSpringer
  • Erscheinungsdatum2008
  • ISBN 10 3540617329
  • ISBN 13 9783540617327
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten396
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Gut
Hardcover 1996 library bound edition...
Diesen Artikel anzeigen
9783540617327: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings: 1138 (Lecture Notes in Computer Science)
EUR 13,44

Währung umrechnen

EUR 40,87 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Neu kaufen

Diesen Artikel anzeigen
9783540617327: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings: 1138 (Lecture Notes in Computer Science)
EUR 12,55

Währung umrechnen

EUR 15,22 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783662175903: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Vorgestellte Ausgabe

ISBN 10:  3662175908 ISBN 13:  9783662175903
Verlag: Springer, 2014
Softcover

Suchergebnisse für Artificial Intelligence and Symbolic Mathematical Computatio...

Beispielbild für diese ISBN

Campbell, John A.; Pfalzgraf, Jochen; Calmet, Jaques
Verlag: Springer, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Paperback

Anbieter: Bookmonger.Ltd, HILLSIDE, NJ, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: New. Bestandsnummer des Verkäufers mon0000406261

Verkäufer kontaktieren

Neu kaufen

EUR 12,55
Währung umrechnen
Versand: EUR 15,22
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Pfalzgraf Jochen Calmet Jaques Campbell John A.
Verlag: Springer, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Softcover

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 396. Bestandsnummer des Verkäufers 183064009

Verkäufer kontaktieren

Neu kaufen

EUR 46,07
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

Calmet, Jacques|Campbell, John A.|Pfalzgraf, Jochen
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Campbell, John A.; Pfalzgraf, Jochen; Calmet, Jaques
Verlag: Springer, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 396. Bestandsnummer des Verkäufers 263064003

Verkäufer kontaktieren

Neu kaufen

EUR 44,97
Währung umrechnen
Versand: EUR 7,83
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

Jaques Calmet
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Taschenbuch
Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. Bestandsnummer des Verkäufers 9783540617327

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Jaques Calmet
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Campbell, John A.; Pfalzgraf, Jochen; Calmet, Jaques
Verlag: Springer, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 43,39
Währung umrechnen
Versand: EUR 10,34
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Calmet, Jacques ; Campbell, John A ; Pfalzgraf, Jochen
ISBN 10: 3540617329 ISBN 13: 9783540617327
Gebraucht Hardcover

Anbieter: Doss-Haus Books, Redondo Beach, CA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Gebraucht kaufen

EUR 13,44
Währung umrechnen
Versand: EUR 40,87
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Campbell, John A.; Pfalzgraf, Jochen; Calmet, Jaques
Verlag: Springer, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783540617327_new

Verkäufer kontaktieren

Neu kaufen

EUR 61,15
Währung umrechnen
Versand: EUR 5,82
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Calmet, Jaques [Editor]; Campbell, John A. [Editor]; Pfalzgraf, Jochen [Editor];
Verlag: Springer, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Gebraucht Paperback

Anbieter: GuthrieBooks, Spring Branch, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Very Good. 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

Verkäufer kontaktieren

Gebraucht kaufen

EUR 15,11
Währung umrechnen
Versand: EUR 65,22
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Es gibt 4 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen