Mathematical Reasoning: The History and Impact of the DReaM Group

Author

Full access

1.260,99 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

30 days rental

503,78 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

60 days rental

521,33 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

90 days rental

644,68 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

120 days rental

767,88 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

180 days rental

829,63 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

365 days rental

1.260,99 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.

Product description

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.

Select variation, to see accessibility information

Details

ISBN13 9783030778798
Released 2021
Publisher Springer
Format Elektronisk medie
Language English