Zugehörige Institution(en) am KIT | Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Hochschulschrift |
Jahr | 1996 |
Sprache | Englisch |
Identifikator | KITopen ID: 58296 |
Erscheinungsvermerk | Fak. f. Informatik, Diss. v. 11.7.1996. |
Abschlussart | Dissertation |
Fakultät | Fakultät für Informatik (INFORMATIK) |
Institut | Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Prüfungsdaten | Diss. v. 11.7.1996 |