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.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Bookmonger.Ltd
100 HOFFMAN PLACE, HILLSIDE, NJ, 07205, U.S.A.

Terms of Sale:

Payment with order as per Abebooks policies
Bookmonger Ltd
100 Hoffman Place
Hillside NJ 07205 USA
bookmongerltd@comcast.net Tel 973-371-8810 Mark Adams
US EIN 161616342

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to Artificial Intelligence and Symbolic Mathematical Computatio...

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)

New - Soft cover

Seller's business information