| 书目名称 | Mechanizing Mathematical Reasoning |
| 副标题 | Essays in Honor of J |
| 编辑 | Dieter Hutter,Werner Stephan |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .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. 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.. |
| 出版日期 | Book 2005 |
| 关键词 | AI logics; Erfüllbarkeitsproblem der Aussagenlogik; Jad; algorithms; artificial intelligence; automated d |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b106663 |
| isbn_softcover | 978-3-540-25051-7 |
| isbn_ebook | 978-3-540-32254-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2005 |
发表于 2025-3-21 18:48:19
