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].

Bestandsnummer des Verk�ufers 010807

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings

Verlag

Springer Verlag, New York

Ver�ffentlichungsdatum

1996

Sprache

Englisch

ISBN-10

3540617329

ISBN-13

9783540617327

Bindung

Hardcover

Zustand

Very Good

Zustand des Schutzumschlags

No Jacket

Verk�uferkataloge

Computer

�ber diesen Titel

Inhaltsangabe

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

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We are a home-based bookseller. We do not have a retail location. We believe in customer service. We will wrap your book with care and mail it promptly. We respond to all of our e-mails in a timely manner.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Doss-Haus Books
CA, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

All orders placed with a credit card through Abe's shopping basket will ship within 2 days of the order. Books purchased with Money orders, Cashiers checks or PayPal will be sent upon receipt of payment. All Personal checks will be held until cleared by the bank. We will send your book promptly when the check clears. If you require additional information about any of our books listed, please e-mail us. Please include "BOOK" in the subject line and your e-mail will be promptly returned. Any book ...

Mehr Information

Versandbedingungen

$4.50 for "media mail" shipping. $7.00 for US Priority. $35.00 for International shipping. 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. To make a PayPal payment go here: http://dosshausbooks.com/