Mathematical Reasoning: The History and Impact of the DReaM Group (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
Printausgabe 171.19 €
eBook (pdf) -6%
160.49 €
80 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Mathematical Reasoning: The History and Impact of the DReaM Group (PDF)“
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.
Autoren-Porträt
¿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.
Bibliographische Angaben
- 2021, 1st ed. 2021, 162 Seiten, Englisch
- Herausgegeben: Gregory Michaelson
- Verlag: Springer International Publishing
- ISBN-10: 3030778797
- ISBN-13: 9783030778798
- Erscheinungsdatum: 20.11.2021
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.56 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Mathematical Reasoning: The History and Impact of the DReaM Group"
0 Gebrauchte Artikel zu „Mathematical Reasoning: The History and Impact of the DReaM Group“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Mathematical Reasoning: The History and Impact of the DReaM Group".
Kommentar verfassen