Mechanizing Mathematical
Mechanizing Mathematical Reasoning (2011)
ComputersBy presenting state-of-the-art results in logical reasoning and formal methods in the context of art…
Dieter Hutter is represented on Book-Sharing with 1 books, especially in Computers. Popular entries include Mechanizing Mathematical Reasoning.
By presenting state-of-the-art results in logical reasoning and formal methods in the context of art…