Mathematical Reasoning: The History and Impact of the Dream Group
暫譯: 數學推理：夢想集團的歷史與影響
Michaelson, Gregory John
- 出版商: Springer
- 出版日期: 2021-11-21
- 售價: $6,010
- 貴賓價: 9.5 折 $5,710
- 語言: 英文
- 頁數: 258
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3030778789
- ISBN-13: 9783030778781
海外代購書籍(需單獨結帳)
相關主題
商品描述
This collection of essays from key practitioners examines the key achievements and likely developments in the area of automated reasoning. It starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written Alan Bundy. This is followed by essays from leading researchers associated with the group on related topics such as argumentation, computational creativity, secure software, and trustworthy software, encompassing theory, tools, applications and pedagogy.
商品描述(中文翻譯)
這本由主要實踐者撰寫的論文集探討了自動推理領域的主要成就和可能的發展。書中首先由 Alan Bundy 撰寫了一篇以技術為導向的愛丁堡自動推理小組歷史。接下來是與該小組相關的領先研究者針對相關主題（如論證、計算創造力、安全軟體和可信軟體）撰寫的論文，涵蓋了理論、工具、應用和教學法。
作者簡介
Greg Michaelson is Emeritus Professor of Computer Science at Heriot Watt University in Edinburgh. With research focused on properties of programming languages and programs, and how people learn programming, he has enjoyed long standing collaborations with DReaM Group colleagues.
作者簡介(中文翻譯)
格雷格·邁克爾森是愛丁堡赫瑞瓦特大學的計算機科學名譽教授。他的研究專注於程式語言和程式的特性，以及人們如何學習程式設計，並與DReaM Group的同事們保持長期的合作關係。
