Dieter Hutter

1 works and 1 book versions on Book-Sharing

Dieter Hutter is represented on Book-Sharing with 1 books, especially in Computers. Popular entries include Mechanizing Mathematical Reasoning.

Including 1 additional editions and alternate versions (2 total linked versions)

Computers EN books Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning (2011)

+1 more version EN Popularity 20

Computers

By presenting state-of-the-art results in logical reasoning and formal methods in the context of art…

Book-Sharing 2026 - Impressum | Datenschutz