000 | 02675nam a22005295i 4500 | ||
---|---|---|---|
001 | 978-3-030-77879-8 | ||
003 | DE-He213 | ||
005 | 20240423125509.0 | ||
007 | cr nn 008mamaa | ||
008 | 211120s2021 sz | s |||| 0|eng d | ||
020 |
_a9783030778798 _9978-3-030-77879-8 |
||
024 | 7 |
_a10.1007/978-3-030-77879-8 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTA347.A78 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
072 | 7 |
_aUYQ _2thema |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aMathematical Reasoning: The History and Impact of the DReaM Group _h[electronic resource] / _cedited by Gregory Michaelson. |
250 | _a1st ed. 2021. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2021. |
|
300 |
_aXIX, 162 p. 49 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
505 | 0 | _a1 -- History of the DReaM Group -- 2 Recollections of Hope Park Square, 1970 -- 73 -- 3 Adventures in Mathematical Reasoning -- 4 Dynamic Proof Presentation -- 5 Proof Mechanization: From Dream to Reality -- 6 Reasoned Modelling -- 7 Human-Like Computational Reasoning: Diagrams and Other Representations -- 8 From Mathematical Reasoning to Crises in Different Languages. | |
520 | _aThis 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. | ||
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aReasoning. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 1 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aFormal Reasoning. |
650 | 2 | 4 | _aMathematical Applications in Computer Science. |
700 | 1 |
_aMichaelson, Gregory. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030778781 |
776 | 0 | 8 |
_iPrinted edition: _z9783030778804 |
776 | 0 | 8 |
_iPrinted edition: _z9783030778811 |
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-77879-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cSPRINGER | ||
999 |
_c178580 _d178580 |