Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
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 Intellige…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Benhamou, Belaid (Hrsg.) / Sorge, Volker (Hrsg.) / Henocque, Laurent (Hrsg.) / Caprotti, Olga (Hrsg.)
- ISBN: 978-3-540-43865-6
- EAN: 9783540438656
- Produktnummer: 3480249
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2002
- Seitenangabe: 364 S.
- Masse: H23.5 cm x B15.5 cm x D1.9 cm 552 g
- Auflage: 2002
- Abbildungen: Paperback
- Gewicht: 552
12 weitere Werke von Jacques (Hrsg.) Calmet:
Bewertungen
Anmelden