Neu Erschienen: 21.11.2021 Abbildung von Michaelson | Mathematical Reasoning: The History and Impact of the DReaM Group | 1. Auflage | 2021 | beck-shop.de

Michaelson

Mathematical Reasoning: The History and Impact of the DReaM Group

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

149,79 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Fachbuch

Buch. Hardcover

1st ed. 2021. 2021

xix, 162 S. 49 s/w-Abbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-030-77878-1

Format (B x L): 15,5 x 23,5 cm

Gewicht: 433 g

Produktbeschreibung

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.

Unsere Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...