KIT | KIT-Bibliothek | Impressum

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
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 52996
Erscheinungsvermerk Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 132.) Fak. f. Wirtschaftswissenschaften, Diss. v. 8.7.1996.
Abschlussart 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