KIT | KIT-Bibliothek | Impressum

Ein dynamisches automatisierbares interaktives Kalkül für schematische theoriespezifische Regeln

Habermalz, Elmar



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Jahr 2001
Sprache Deutsch
Identifikator KITopen ID: 462001
Erscheinungsvermerk Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 3.11.2000.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 3.11.2000
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page