000 03762nam a22005775i 4500
001 978-3-031-66021-4
003 DE-He213
005 20250516160116.0
007 cr nn 008mamaa
008 240803s2024 sz | s |||| 0|eng d
020 _a9783031660214
_9978-3-031-66021-4
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aSoftware Engineering and Formal Methods. SEFM 2023 Collocated Workshops
_h[electronic resource] :
_bCIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers /
_cedited by Alessandro Aldini.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aVIII, 169 p. 29 illus., 23 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14568
505 0 _a -- CIFMA 2023 - 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. -- CL-XAI: Toward enriched Cognitive Learning with eXplainable Artificial Intelligence. -- Mentalistic stances towards AI systems: beyond the Intentional stance. -- Private memory confers no advantage. -- Frequentist Probability Logic. -- Using Maude to Model Motivation in Human Behaviour. -- Semantic Memory, Mnemonic Effort and Mnemonic Habit. -- Scientific Understanding and the Explanatory Integration in Cognitive Sciences. -- Code Biology and Enactivism: Bringing Adaptors to Basic Minds. -- Clinical Cognitive Sciences. -- OpenCERT 2023 - 11th International Workshop on Open Community approaches to Education, Research and Technology. -- Facets of Openness in a Serious Game: Opening up Format, Content, Software and Hardware.
520 _aThis volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6-10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023) .
541 _fUABC ;
_cPerpetuidad
650 0 _aSoftware engineering.
650 0 _aComputer systems.
650 0 _aComputer science.
650 0 _aComputer programming.
650 1 4 _aSoftware Engineering.
650 2 4 _aComputer System Implementation.
650 2 4 _aTheory of Computation.
650 2 4 _aProgramming Techniques.
700 1 _aAldini, Alessandro.
_eeditor.
_0(orcid)0000-0002-7250-5011
_1https://orcid.org/0000-0002-7250-5011
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031660207
776 0 8 _iPrinted edition:
_z9783031660221
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14568
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-66021-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cLIBRO_ELEC
999 _c275937
_d275936