期刊全称 | Artificial Intelligence and Symbolic Mathematical Computation | 期刊简称 | International Confer | 影响因子2023 | Jacques Calmet,John A. Campbell,Jochen Pfalzgraf | 视频video | | 学科分类 | Lecture Notes in Computer Science | 图书封面 |  | 影响因子 | 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. | Pindex | Conference proceedings 1996 |
The information of publication is updating
|
|