KIT | KIT-Bibliothek | Impressum | Datenschutz

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Hutter, Dieter



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Sonderforschungsbereich 314 (SFB 314)
Publikationstyp Hochschulschrift
Publikationsjahr 1994
Sprache Deutsch
Identifikator KITopen-ID: 241094
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 8.2.1991.
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. 8.2.1991
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page