Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Hochschulschrift |
Publikationsjahr | 2001 |
Sprache | Deutsch |
Identifikator | ISBN: 3-8265-9093-7 ISSN: 0945-0807 KITopen-ID: 1000001063 |
Verlag | Shaker Verlag |
Serie | Berichte aus der Informatik |
Art der Arbeit | Dissertation |
Fakultät | Fakultät für Informatik (INFORMATIK) |
Institut | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Prüfungsdaten | 19.07.2000 |
Referent/Betreuer | Waibel, A. |