Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

CRAI Library - Madrid
Your cart is empty.
My folder ( items) | My account
Image from Google Jackets

Mathematical Reasoning : The History and Impact of the DReaM Group / edited by Gregory Michaelson

Contributor(s): Michaelson, Gregory, editor literario
Material type: materialTypeLabelE-bookSeries: (Computer Science (SpringerNature-11645)); (Computer Science (R0) (SpringerNature-43710)).Publisher: Cham : Springer International Publising, 2021Edition: First edition 2021.Description: 1 recurso en línea (XIX, 162 páginas) : 49 ilustraciones.ISBN: 9783030778798.Subject: LógicaOnline resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Contents:
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.
Abstract: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
LIBRO-E NO PRÉSTAMO LIBRO-E NO PRÉSTAMO Madrid Digital Acceso Electrónico (UEM) Ciencias e Ingeniería QA9 2021 EB (Browse shelf(Opens below)) Acceso electrónico eBook.19122368
Total holds: 0

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.

There are no comments on this title.

to post a comment.
Share