Overview
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.
- | Author: Jaques Calmet
- | Publisher: Springer
- | Publication Date: Sep 11, 1996
- | Number of Pages: 384 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540617329
- | ISBN-13: 9783540617327
