# Mechanizing Mathematical Reasoning

Format
Post in Mathematics
BY **Dieter Hutter, Werner Stephan**

3540250514 Shared By Guest

**Mechanizing Mathematical Reasoning** Dieter Hutter, Werner Stephan is available to download <table><tr><td colspan="2"><strong style="font-size:1.This material is available do download at niSearch.com on **Dieter Hutter, Werner Stephan**'s eBooks, 2em;">Mechanizing Mathematical Reasoning</strong><br/>Dieter Hutter, Werner Stephan</td></tr> <tr> <td><b>Type:</b></td> <td>eBook</td> </tr> <tr> <td><b>Released:</b></td> <td>2005</td> </tr> <tr> <td><b>Publisher:</b></td> <td>Springer</td> </tr> <tr> <td><b>Page Count:</b></td> <td>573</td> </tr> <tr> <td><b>Format:</b></td> <td>pdf</td> </tr> <tr> <td><b>Language:</b></td> <td>English</td> </tr> <tr> <td><b>ISBN-10:</b></td> <td>3540250514</td> </tr> <tr> <td><b>ISBN-13:</b></td> <td>9783540250517</td> </tr> </table>
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of JÃ¶rg H.*Mechanizing Mathematical Reasoning* Textbook Siekmann.
The 30 revised reviewed papers are written by former and current students and colleagues of JÃ¶rg Siekmann; also included is an appraisal of the scientific career of JÃ¶rg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

## Comments (0)