Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 1998 |
Sprache | Englisch |
Identifikator | urn:nbn:de:swb:90-AAA499988 KITopen-ID: 49998 |
Erschienen in | Proceedings of the Intelligent Environments AAAI Spring Symposium, Stanford Univ., Calif. 1998 |
Seiten | 123-127 |
Serie | AAAI technical report ; SS-98-02.) |