Mathematical Reasoning: The History and Impact of the DReaM Group
Download or Read eBook Mathematical Reasoning: The History and Impact of the DReaM Group PDF written by Gregory Michaelson and published by . This book was released on 2021 with total page 0 pages. Available in PDF, EPUB and Kindle.
Author | : Gregory Michaelson |
Publisher | : |
Total Pages | : 0 |
Release | : 2021 |
ISBN-10 | : 3030778800 |
ISBN-13 | : 9783030778804 |
Rating | : 4/5 (00 Downloads) |
Book Synopsis Mathematical Reasoning: The History and Impact of the DReaM Group by : Gregory Michaelson
Book excerpt: 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.