| Artificial Intelligence and Symbolic Mathematical Computation: International Conference, Aismc-3, Steyr, Austria, September, 23 - 25, 1996. Proceeding 1996 Edition Contributor(s): Calmet, Jaques (Editor), Campbell, John A. (Editor), Pfalzgraf, Jochen (Editor) |
|
 |
ISBN: 3540617329 ISBN-13: 9783540617327 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: September 1996 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Computers | Intelligence (ai) & Semantics - Mathematics | Logic - Computers | Computer Science |
| Dewey: 006.301 |
| LCCN: 96041752 |
| Series: Lecture Notes in Computer Science, |
| Physical Information: 0.81" H x 6.14" W x 9.21" (1.22 lbs) 384 pages |
| Descriptions, Reviews, Etc. |
| Publisher 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. |