Mustergesteuerte Strategien für das Beweisen von Gleichungen

@phdthesis{pub1584,
    author = {

Hutter, Dieter
},
    title = {Mustergesteuerte Strategien für das Beweisen von Gleichungen},
    year = {1991}
}