Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 – 25, 1996. Proceedings (Lecture Notes in Computer Science) (by Jochen Pfalzgraf, John A. Campbell, Jaques Calmet)


Author(s): Jochen Pfalzgraf, John A. Campbell, Jaques Calmet

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.

Read Source: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 – 25, 1996. Proceedings (Lecture Notes in Computer Science) (by Jochen Pfalzgraf, John A. Campbell, Jaques Calmet)»

Leave a Reply

Your email address will not be published.