Author

Dieter Hutter

7 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

7 books
Applied formal methods--FM-Trends 98

Applied formal methods--FM-Trends 98

Year unknown Dieter Hutter and Gerhard Goos
Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Year unknown Jörg H. Siekmann, Dieter Hutter, and Werner Stephan
Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Year unknown Jörg H. Siekmann, Dieter Hutter, and Werner Stephan
Mustergesteuerte Strategien für d...

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Year unknown
Rippling

Rippling

Year unknown Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland
Rippling Meta-Level Guidance for ...

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Year unknown Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland
Security in pervasive computing

Security in pervasive computing

Year unknown Dieter Hutter, Günter Müller, and Werner Stephan

Fetched from OpenLibrary. Some translations may appear as separate works.