{"product_id":"artificial-intelligence-automated-reasoning-and-symbolic-computation-joint-international-conferences-aisc-2002-and-calculemus-2002-marseille-fran-9783540438656","title":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, Fran","description":"\u003cp\u003e • Author(s): Jacques Calmet | Belaid Benhamou | Olga Caprotti\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Artificial Intelligence - General\u003c\/p\u003e\u003cp\u003eAISC 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47614235312279,"sku":"9783540438656","price":5730.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540438656.webp?v=1775092041","url":"https:\/\/atlanticbooks.com\/products\/artificial-intelligence-automated-reasoning-and-symbolic-computation-joint-international-conferences-aisc-2002-and-calculemus-2002-marseille-fran-9783540438656","provider":"Atlantic Books","version":"1.0","type":"link"}