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

Calmet, Jaques [Editor]; Campbell, John A. [Editor]; Pfalzgraf, Jochen [Editor];

ISBN 10: 3540617329 / ISBN 13: 9783540617327

Verlag: Springer, 1996

Beschreibung

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

Bibliografische Details

Titel: Artificial Intelligence and Symbolic ...

Verlag: Springer

Erscheinungsdatum: 1996

Einband: Paperback

Zustand: Very Good

Über diesen Titel

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.