Mustergesteuerte Strategien für das Beweisen von Gleichungen
By: Dieter Hutter
Contributors: Universität Karlsruhe
Published: 1991
Language: ger
Number of pages: 129
Notes: Thesis (doctoral)--Universität Karlsruhe, 1991.