Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 2002 |
Sprache | Englisch |
Identifikator | KITopen-ID: 33932002 |
Erscheinungsvermerk | In: Proceedings of the 15th International FLAIRS Conference, FLAIRS 2002, Pensacola, FL 2002. AAAI Press 2002. S. 425-429. |