Mechanizing Mathematical
Mechanizing Mathematical Reasoning (2011)
ComputerBy presenting state-of-the-art results in logical reasoning and formal methods in the context of art…
Dieter Hutter
Dieter Hutter ist auf Book-Sharing mit 1 Büchern vertreten, besonders in Computer. Häufig aufgerufene Einträge sind Mechanizing Mathematical Reasoning.