KIT | KIT-Bibliothek | Impressum

Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollstaendiger Induktion

Hummel, Birgit



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Jahr 1991
Sprache Deutsch
Identifikator KITopen ID: 27591
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 28.5.1990.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 28.5.1990
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page