Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 2002 |
Sprache | Englisch |
Identifikator | KITopen-ID: 31722002 |
Erscheinungsvermerk | In: Symposium in Honor of Bruno Buchberger's 60th Birthday: Logic, Mathematics and Computer Science: Interactions, LMCS 2002, Hagenberg, Austria 2002. Ed.: K. Nakagawa. S. 39-47. |