Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings

Calmet, Jacques ; Campbell, John A ; Pfalzgraf, Jochen

ISBN 10: 3540617329 / ISBN 13: 9783540617327

Published by Springer Verlag, New York, 1996

About this Item

Hardcover 1996 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;1138.[viii, 379 p. : ill. ; 24 cm].

Seller Inventory # 010807

Bibliographic Details

• Title: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings
• Publisher: Springer Verlag, New York
• Publication Date: 1996
• Language: English
• ISBN 10: 3540617329
• ISBN 13: 9783540617327
• Binding: Hardcover
• Condition: Very Good
• Dust Jacket Condition: No Jacket
• Seller catalogs:
  • Computer

About this title

Synopsis

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.