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 ...
Read More
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.
Read Less
Add this copy of Artificial Intelligence and Symbolic Mathematical to cart. $14.01, new condition, Sold by Bookmonger.Ltd rated 5.0 out of 5 stars, ships from Hillside, NJ, UNITED STATES, published 1996 by Springer.
Add this copy of Artificial Intelligence and Symbolic Mathematical to cart. $14.99, very good condition, Sold by Doss-Haus Books rated 5.0 out of 5 stars, ships from Redondo Beach, CA, UNITED STATES, published 1996 by Springer Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. No Jacket. Book. 8vo-over 7¾"-9¾" tall. 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]
Add this copy of Artificial Intelligence and Symbolic Mathematical to cart. $16.90, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1996 by Springer.
Add this copy of Artificial Intelligence and Symbolic Mathematical to cart. $49.26, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1996 by Springer.
Add this copy of Artificial Intelligence and Symbolic Mathematical to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1996 by Springer.
Add this copy of Artificial Intelligence and Symbolic Mathematical to cart. $51.87, like new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1996 by Springer.
Add this copy of Artificial Intelligence and Symbolic Mathematical to cart. $71.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1996 by Springer.
