KIT | KIT-Bibliothek | Impressum | Datenschutz

Deduktion mit Shannongraphen fuer Praedikatenlogik erster Stufe

Posegga, Joachim



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 1993
Sprache Deutsch
Identifikator KITopen-ID: 47093
Erscheinungsvermerk Sankt Augustin 1993. (DISKI. Dissertationen zur kuenstlichen Intelligenz. 51.) Fak. f. Informatik, Diss. v. 28.6.1993.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 28.6.1993
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page