Dieter Hutter – författare

Rippling: Meta-Level Guidance for Mathematical Reasoning

Security in Pervasive Computing

First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Security in Pervasive Computing

Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings