Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 2000 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 33282000 |
Erscheinungsvermerk | In: Computational logic. CL 2000. Ed.: J. Lloyd. Berlin 2000. S. 972-986. (Lecture notes in artificial intelligence. 1861.) |