Isbn: 9783540438656 - artificial intelligence, automated reasoning, and symbolic computation: joint international conferences, aisc 2002 and calculemus 2002 marseille, ... notes in computer science, 2385, band 2385) (4 Ergebnisse)

Softcover. Zustand: Befriedigend. Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus.…