KIT | KIT-Bibliothek | Impressum

Tableau, Tableauresolution und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion

Li, Wanlin



Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Hochschulschrift
Jahr 1991
Sprache Deutsch
Identifikator KITopen ID: 34491
Erscheinungsvermerk Frankfurt a.M. 1991. (Europaeische Hochschulschriften. Reihe 41, Bd. 6.) Fak. f. Informatik, Diss. v. 23.1.1991.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Fakultät für Informatik (INFORMATIK)
Prüfungsdaten Diss. v. 23.1.1991
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page