Author(s): Jochen Pfalzgraf, John A. Campbell, Jaques Calmet
Categories: Technology & Engineering > General, Computers > Computer Science, Computers > Programming
Publisher: Springer
Publish date: 1996-09-30
ISBN-10: 3540617329
ISBN-13: 9783540617327
Language: English
Description: 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.
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.