Artificial Intelligence and Symbolic Mathematical Computation

International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

384 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540617327
• Sprache: Englisch
• Erscheinungsdatum: 11.09.1996
• Größe: 23.5 x 15.5 cm
• Verlag: Springer Berlin
• Herausgegeben von: Jaques Calmet, John A. Campbell, Jochen Pfalzgraf