# 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

Mechanizing Mathematical ReasoningDieter Hutter, Werner Stephan | |

Type: | eBook |

Released: | 2005 |

Publisher: | Springer |

Page Count: | 573 |

Format: | |

Language: | English |

ISBN-10: | 3540250514 |

ISBN-13: | 9783540250517 |

*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)