Dieter Hutter

3 books • 3 series

Jun 30, 2005
Cover of Rippling: Meta-Level Guidance for Mathematical Reasoning

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

Jan 1, 2005
Cover of Security in Pervasive Computing

Security in Pervasive Computing (Lecture Notes in Computer Science, #3450) (Security and Cryptology, #3450)

Jan 1, 2005
Cover of Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

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