Inicio Mathematical Reasoning: The History and Impact of the Dream Group de Gregory Michaelson (Editor) (ISBN: 9783030778811)

No hay imagen

Mathematical Reasoning: The History and Impact of the Dream Group Tapa blanda - 2022

Name: Mathematical Reasoning: The History and Impact of the DReaM Group
Price: 179.00 GBP
Availability: InStock
Author: Michaelson, Gregory (Editor)
ISBN: 9783030778811

de Gregory Michaelson (Editor)

Ver más ejemplares ↓

Descripción de contraportada

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.

Detalles

Título Mathematical Reasoning: The History and Impact of the Dream Group
Autor Gregory Michaelson (Editor)
Encuadernación Tapa blanda
Páginas 162
Volúmenes 1
Idioma ENG
Editorial Springer
Fecha de publicación 2022-11-22
Ilustrado Sí
Features Illustrated
ISBN 9783030778811 / 3030778819
Peso 0.59 libras (0.27 kg)
Dimensiones 9.21 x 6.14 x 0.39 pulgadas (23.39 x 15.60 x 0.99 cm)

Acerca del autor

Greg Michaelson is Emeritus Professor of Computer Science at Heriot Watt University in Edinburgh. With research focused on properties of programming languages and programs, and how people learn programming, he has enjoyed long standing collaborations with DReaM Group colleagues.

Ir arriba↑