Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Artificial Intelligence and Symbolic Mathematical Computation : International Conference
AISMC-3SteyrAustriaSeptember23 - 251996. Proceedin
SR 471
Inclusive of VAT
SR28Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR471
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.
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.
Report an issue with this product.
