Mathematical Reasoning: The History and Impact of the DReaM Group (eBook)
XIX, 162 Seiten
Springer International Publishing (Verlag)
978-3-030-77879-8 (ISBN)
This collection of essays examines 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, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book 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.
Mathematical Reasoning: The History and Impact of the DReaM Group will 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.
?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.
| Erscheint lt. Verlag | 20.11.2021 |
|---|---|
| Zusatzinfo | XIX, 162 p. 49 illus. |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Erkenntnistheorie / Wissenschaftstheorie |
| Mathematik / Informatik ► Informatik | |
| Mathematik / Informatik ► Mathematik | |
| Schlagworte | Artificial Intelligence • automated reasoning • Computational Creativity • inference • Proof mechanization • proof planning • Reasoned Modelling • rippling • symbolic reasoning |
| ISBN-10 | 3-030-77879-7 / 3030778797 |
| ISBN-13 | 978-3-030-77879-8 / 9783030778798 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 3,7 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
