株式会社極東書店トップ ＞ 商品一覧 ＞ Mathematical Reasoning: The History and Impact of the DReaM Group. 2021 ed.
商品詳細
Mathematical Reasoning: The History and Impact of the DReaM Group. 2021 ed.
・ISBN 978-3-030-77881-1 paper EUR 159.99
￥42,764.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Michaelson, Gregory (ed.), |
|---|---|
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2022 |
| ページ数 | 162 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A02-90002＞ |
解説
This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group.
Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.