KIT | KIT-Bibliothek | Impressum

Automated deduction in multiple-valued logics

Haehnle, Reiner



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Jahr 1993
Sprache Deutsch
Identifikator KITopen ID: 50893
Erscheinungsvermerk Oxford 1993. (The international series of monographs on computer science. 10.) Fak. f. Informatik, Diss. v. 7.5.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. 7.5.1992
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page