Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, Fran

by J. Calmet and Jacques Calmet

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

• Format: Paperback
• Language: English
• ISBN: 3540438653
• ISBN13: 9783540438656
• Release Date: June 2002
• Publisher: Springer
• Length: 350 Pages
• Weight: 1.12 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"