T�tulo: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)
Editor: Springer
Fecha de publicaci�n: 1996
Idioma: Ingl�s
ISBN 10: 3540617329
ISBN 13: 9783540617327
Encuadernaci�n: Paperback
Estado: Very Good

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

GuthrieBooks
TX, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

At this time we accept payment through Visa or Mastercard.

Condiciones de env�o

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.