LEADER 04787nam 22008055 450 001 996466292103316 005 20200705040657.0 010 $a3-319-62075-4 024 7 $a10.1007/978-3-319-62075-6 035 $a(CKB)4340000000061618 035 $a(DE-He213)978-3-319-62075-6 035 $a(MiAaPQ)EBC5610754 035 $a(MiAaPQ)EBC6306913 035 $a(Au-PeEL)EBL5610754 035 $a(OCoLC)992988965 035 $a(Au-PeEL)EBL6306913 035 $a(PPN)202991083 035 $a(EXLCZ)994340000000061618 100 $a20170627d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computer Mathematics$b[electronic resource] $e10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /$fedited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVIII, 375 p. 81 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10383 311 $a3-319-62074-6 327 $aCalculemus track: integration of symbolic computation and mechanized reasoning -- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings -- Systems and Projects track: descriptions of systems and relevant projects as keys research topics. 330 $aThis book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge. 410 0$aLecture Notes in Artificial Intelligence ;$v10383 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer simulation 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer simulation. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSimulation and Modeling. 676 $a006.3 702 $aGeuvers$b Herman$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEngland$b Matthew$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHasan$b Osman$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRabe$b Florian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTeschke$b Olaf$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466292103316 996 $aIntelligent Computer Mathematics$92149623 997 $aUNISA LEADER 00799nam0-2200241 --450 001 9910835994703321 005 20240308121438.0 100 $a20240308d1986----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aDall'intenzionalitą all'esistenza$ela psicologia fenomenologica di Merleau-Ponty$fFrancesco Miano 210 $aNapoli$cOfficine Grafiche Napoletane giannini$d1986 215 $a22 p.$d24 cm 300 $aEstr. da: Atti dell'Accademia di Scienze Morali e Politiche, v. 96 (1985) 700 1$aMiano,$bFranco$0288107 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aLG 912 $a9910835994703321 952 $aDAM OPUSC. 08 (06)$b2024/1507$fFLFBC 959 $aFLFBC 996 $aDall'intenzionalitą all'esistenza$91084218 997 $aUNINA