Mathematical reasoning : the history and impact of the DReaM group / Gregory Michaelson, editor.
Michaelson, Gregory, editor.
2021
QA9
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Mathematical reasoning : the history and impact of the DReaM group / Gregory Michaelson, editor.
ISBN
9783030778798 (electronic bk.)
3030778797 (electronic bk.)
3030778789
9783030778781
DOI
https://doi.org/10.1007/978-3-030-77879-8
Publication Details
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-030-77879-8 doi
Call Number
QA9
Dewey Decimal Classification
511.3
Summary
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.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file
PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed December 2, 2021).
Added Author
Michaelson, Gregory, editor.
Available in Other Form
Mathematical reasoning.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export