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 )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence