Artificial Intelligence and Symbolic Mathematical Computation

ISBN 10: 3540617329 / ISBN 13: 9783540617327

Verlag: Springer, 1996

Beschreibung

pp. 396.

Bestandsnummer des Verkäufers 263064003

Bibliografische Details

• Titel: Artificial Intelligence and Symbolic Mathematical Computation
• Verlag: Springer
• Veröffentlichungsdatum: 1996
• Sprache: Englisch
• ISBN-10: 3540617329
• ISBN-13: 9783540617327
• Bindung: Softcover
• Zustand: New

Über diesen Titel

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.