Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2001 |
Sprache | Deutsch |
Identifikator | urn:nbn:de:swb:90-AAA294820018 KITopen-ID: 29482001 |
Erschienen in | Proceedings of the Human Technology Conference, HLT 2001, San Diego, CA 30. März 2001 |