<div><div><div><p>This collection of essays examines&nbsp; 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,&nbsp; tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software,&nbsp; and health care and emergency management.&nbsp; The book&nbsp;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.&nbsp;&nbsp;</p>

</div> </div> </div><p><i>Mathematical Reasoning: The History and Impact of the DReaM Group</i>&nbsp;will&nbsp; 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.&nbsp;</p><br><br>