Dieter Hutter
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
7
Rippling
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Applied formal methods--FM-Trends 98
Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
Security in pervasive computing
