Mathematical Reasoning: The History and Impact of the Dream Group
Michaelson, Gregory John
- 出版商: Springer
- 出版日期: 2021-11-21
- 售價: $6,480
- 貴賓價: 9.5 折 $6,156
- 語言: 英文
- 頁數: 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.
作者簡介
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.
