Produktbild
Jacques (Hrsg.) Calmet

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.