Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und SiedlungsflächennutzungKilian Bizer, Dieter Ewringmann, Eckhard Bergmann, Fabian Dosch, Klaus Einig, Gerard Hutter, J. Ochtrop, K. Meyenschein, T. Möller · First published 2013Open the Tome
Mechanizing mathematical reasoningJörg H. Siekmann, Dieter Hutter, Werner Stephan · First published 2005Open the Tome
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland · First published 2005Open the Tome
Security in pervasive computingDieter Hutter, Günter Müller, Werner Stephan · First published 2004Open the Tome
Mustergesteuerte Strategien für das Beweisen von GleichungenDieter Hutter · First published 1991Open the Tome
