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 01207nam a2200289 a 4500 001 991001957529707536 008 061115s it 000 0 ita d 020 $a884249612X 035 $ab13453944-39ule_inst 040 $aDip.to Filologia Ling. e Lett. 082 0 $a306001.4 100 1 $aLutter, Christina$0445734 245 10$aCultural studies :$bun'intoduzione /$cChristina Lutter, Markus Reisenleitner ; a cura di Michela Cometa 246 3$aCultural studies. Eine einfuhrung 260 $aMilano ;$bB. Mondadori,$cc2004 300 $axxxiv, 156 p. ;$c17 cm 440 0$aTesti e pretesti 650 4$aCultura popolare 700 1 $aReisenleitner, Markus$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0445735 700 1 $aCometa, Michela 907 $a.b13453944$b18-12-06$c15-11-06 912 $a991001957529707536 945 $aLE008 FL.M. (IN) K 127$g1$i2008000056230$lle008$nPiglionica$op$pE14.50$q-$rl$s- $t0$u0$v0$w0$x0$y.i14319019$z15-11-06 945 $aLE008 FL.M.(In) K 127c.2$g1$i2008000117450$lle008$o-$pE14.50$q-$rl$s- $t0$u0$v0$w0$x0$y.i14336431$z18-12-06 996 $aCultural studies$924484 997 $aUNISALENTO 998 $ale008$b15-11-06$cm$da $e-$fita$git $h0$i0