Mathematical Reasoning : The History and Impact of the DReaM Group
Mathematical Reasoning : The History and Impact of the DReaM Group
edited by Gregory Michaelson
- First edition 2021
- 1 recurso en línea (XIX, 162 páginas) 49 ilustraciones
- Computer Science (SpringerNature-11645) Computer Science (R0) (SpringerNature-43710) .
1 -- History of the DReaM Group -- 2 Recollections of Hope Park Square, 1970 -- 73 -- 3 Adventures in Mathematical Reasoning -- 4 Dynamic Proof Presentation -- 5 Proof Mechanization: From Dream to Reality -- 6 Reasoned Modelling -- 7 Human-Like Computational Reasoning: Diagrams and Other Representations -- 8 From Mathematical Reasoning to Crises in Different Languages.
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.
9783030778798
10.1007/978-3-030-77879-8 doi
Lógica
QA9 / 2021 EB
1 -- History of the DReaM Group -- 2 Recollections of Hope Park Square, 1970 -- 73 -- 3 Adventures in Mathematical Reasoning -- 4 Dynamic Proof Presentation -- 5 Proof Mechanization: From Dream to Reality -- 6 Reasoned Modelling -- 7 Human-Like Computational Reasoning: Diagrams and Other Representations -- 8 From Mathematical Reasoning to Crises in Different Languages.
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.
9783030778798
10.1007/978-3-030-77879-8 doi
Lógica
QA9 / 2021 EB