Publikation Mustergesteuerte Strategien für das Beweisen von Gleichungen Dieter Hutter PhD-Thesis, University of Karlsruhe, 1991. http://www.dfki.de/vse/papers/hutter91.ps.gz (gz, 56 KB ) BibTeX Export Mustergesteuerte Strategien für das Beweisen von Gleichungen@phdthesis{pub1584, author = { Hutter, Dieter }, title = {Mustergesteuerte Strategien für das Beweisen von Gleichungen}, year = {1991} }