

Artificial Intelligence, Automated Reasoning, and Symbolic Computation
- Alaotsikko
- Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
- Toimittaja
- Volker Sorge, Laurent Henocque, Olga Caprotti, Belaid Benhamou, Jacques Calmet
- ISBN
- 9783540454700
- Kieli
- englanti
- Julkaisupäivä
- 2.8.2003
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone
