| 000 | 02296nam a22003735i 4500 | ||
|---|---|---|---|
| 999 |
_c361727 _d361727 _x1 |
||
| 001 | 361727 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230102121421.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn nnnaamaa | ||
| 008 | 211120s2021 sz | s |||| 0|eng d | ||
| 020 | _a9783030778798 | ||
| 024 | 7 |
_a10.1007/978-3-030-77879-8 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA9 _b2021 EB |
|
| 245 | 0 | 0 |
_aMathematical Reasoning : _bThe History and Impact of the DReaM Group _cedited by Gregory Michaelson |
| 250 | _aFirst edition 2021 | ||
| 264 | 1 |
_aCham _bSpringer International Publising _c2021 |
|
| 300 |
_a1 recurso en línea (XIX, 162 páginas) _b49 ilustraciones |
||
| 336 |
_2rdacontent _aTexto _btxt |
||
| 337 |
_2rdamedia _aelectrónico _bc |
||
| 338 |
_2rdacarrier _arecurso electrónico _bcr |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 | _aComputer Science (SpringerNature-11645) | |
| 490 | 0 | _aComputer Science (R0) (SpringerNature-43710) | |
| 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 | 3 | _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. | |
| 988 | _aSpringer_Computer_2021 | ||
| 650 | 7 |
_2embne _9139573 _aLógica |
|
| 700 | 1 |
_aMichaelson, Gregory _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-77879-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b02/2022 _dz _eh _zSI |
||