KIT | KIT-Bibliothek | Impressum

Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme

Dix, Juergen



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