Books by Dieter Hutter
Mechanizing mathematical reasoning
Rippling Meta-Level Guidance f
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Applied formal methods--FM-Trends 98
Mustergesteuerte Strategien fü
Mustergesteuerte Strategien für das Beweisen von Gleichungen