Dieter Hutter

No bio available. Add one in Open Library.

Books by Dieter Hutter (50 max)

+ shelf+ list

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

2005

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

+ shelf+ list

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science)

2004

Dieter Hutter, Günter Müller, Werner Stephan

+ shelf+ list

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)

1999

Dieter Hutter, Gerhard Goos

+ shelf+ list

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

2005

Jörg H. Siekmann, Dieter Hutter, Werner Stephan

+ shelf+ list

Mustergesteuerte Strategien für das Beweisen von Gleichungen

1991

Dieter Hutter

+ shelf+ list

Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

2005

Jörg H. Siekmann, Dieter Hutter, Werner Stephan

+ shelf+ list

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

2005

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland