Artificial intelligence, automated reasoning, and symbolic computation. Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002. Proceedings
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Proceedingsband |
| Publikationsjahr | 2002 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 31402002 |
| Erscheinungsvermerk | Berlin 2002. (Lecture notes in computer science. 2385.) |