KIT | KIT-Bibliothek | Impressum | Datenschutz

Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen

Messing, Barbara



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Hochschulschrift
Publikationsjahr 1996
Sprache Deutsch
Identifikator KITopen-ID: 52996
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 132.) Fak. f. Wirtschaftswissenschaften, Diss. v. 8.7.1996.
Art der Arbeit Dissertation
Fakultät Fakultät für Wirtschaftswissenschaften (WIWI)
Institut Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Prüfungsdaten Diss. v. 8.7.1996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page