Publikation
PhD-Thesis, University of Karlsruhe, 1991.
@phdthesis{pub1584, author = { Hutter, Dieter }, title = {Mustergesteuerte Strategien für das Beweisen von Gleichungen}, year = {1991} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023