Mathematical Reasoning: The History and Impact of the DReaM Group | Academicbooks.dk

Mathematical Reasoning: The History and Impact of the DReaM Group

Af

Author

E-bog

Full Access

1.260,99 kr.

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

30 days rental

503,78 kr.

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

60 days rental

521,33 kr.

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

90 days rental

644,68 kr.

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

120 days rental

767,88 kr.

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

180 days rental

829,63 kr.

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

365 days rental

1.260,99 kr.

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

Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.

Produkt beskrivelse

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.

Detaljer

ISBN13 9783030778798
Udgivet 2021
Forlag Springer
Format Elektronisk medie
Sprog Engelsk