KIT | KIT-Bibliothek | Impressum

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Hutter, Dieter



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