Dieter Hutter
Dieter Hutter
2 books in the database
Books
Co-authored books and collections
Books that list Dieter Hutter among their authors but not as the lead author: co-written works, collections and compilations.
RipplingAlan Bundy
Rippling
Alan Bundy · 2005
Mechanizing mathematical reasoningJörg H. Siekmann
Mechanizing mathematical reasoning
Jörg H. Siekmann · 2005
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy · 2005