Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings

Calmet, Jacques. et al

ISBN 10: 3540438653 / ISBN 13: 9783540438656

Published by Springer Verlag, New York., 2002

About this Item

Hardcover, 2002 edition. Library bound Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. LNAI 2385 [341 pages]. Seller Inventory # 013271

Bibliographic Details

Title: Artificial Intelligence, Automated Reasoning...

Publisher: Springer Verlag, New York.

Publication Date: 2002

Binding: Hardcover

Condition: Very Good

Dust Jacket Condition: No Jacket

About this title

Synopsis:

AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1–5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l’Information et des Syst` emes). AISC 2002 was the latest in a series...

More