Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Dieter Hutter
Dieter Hutter
All books by Dieter Hutter
(
Displaying 5 Books
)
Mechanizing mathematical reasoning
Jörg H. Siekmann
Mechanizing mathematical reasoning
Jörg H. Siekmann
Rippling
Alan Bundy
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy
Security in pervasive computing
Dieter Hutter
Looking for another book by Dieter Hutter?
Search for the book
by title.
