登入選單
返回Google圖書搜尋
Artificial Intelligence and Symbolic Mathematical Computation
Jaques CalmetJohn A. CampbellJochen Pfalzgraf
其他書名
International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
出版Springer Science & Business Media, 1996-09-11
主題Computers / Artificial Intelligence / GeneralComputers / Computer ScienceComputers / Data Science / GeneralComputers / Information TechnologyComputers / Software Development & Engineering / GeneralComputers / Programming / AlgorithmsLanguage Arts & Disciplines / Library & Information Science / GeneralMathematics / Algebra / GeneralMathematics / AppliedMathematics / Discrete MathematicsMathematics / LogicMathematics / Numerical AnalysisScience / System TheoryTechnology & Engineering / GeneralTechnology & Engineering / Electronics / GeneralTechnology & Engineering / Engineering (General)
ISBN35406173299783540617327
URLhttp://books.google.com.hk/books?id=nX9En3pwqWsC&hl=&source=gbs_api
EBookSAMPLE
註釋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.