LEADER 01260nam1-2200397---450- 001 990003387960203316 005 20100415144928.0 035 $a000338796 035 $aUSA01000338796 035 $a(ALEPH)000338796USA01 035 $a000338796 100 $a20100415d2004----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> comunicazione di pubblica utilitą$fa cura di Stefano Rolando 210 $aMilano$cF. Angeli$dcopyr. 2004 215 $a2 v.$d23 cm 225 2 $aComunicazione di pubblica utilitą 410 0$12001$aComunicazione di pubblica utilitą 454 1$12001 461 1$1001-------$12001 463 \1$1001990003387970203316$12001 $a<>: Identitą, politica, istituzioni, pubblica amministrazione 606 0 $aComunicazione pubblica$xServizi d'informazione$yItalia 676 $a353.00819 676 $a352.384 702 1$aROLANDO,$bStefano$f<1948- > 801 0$aIT$bsalbc$gISBD 912 $a990003387960203316 951 $aP08 2455/$bDISTRA 959 $aBK 969 $aDISTRA 979 $aDISTRA2$b90$c20100415$lUSA01$h1449 979 $aANNAMARIA$b90$c20110601$lUSA01$h1134 996 $aComunicazione di pubblica utilitą$9736084 997 $aUNISA LEADER 03209nam 22007455 450 001 9910413439303321 005 20251107152705.0 010 $a3-030-53518-5 024 7 $a10.1007/978-3-030-53518-6 035 $a(CKB)4100000011354787 035 $a(DE-He213)978-3-030-53518-6 035 $a(MiAaPQ)EBC6273284 035 $a(PPN)254614086 035 $a(MiAaPQ)EBC6270846 035 $a(EXLCZ)994100000011354787 100 $a20200717d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computer Mathematics $e13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings /$fedited by Christoph Benzmüller, Bruce Miller 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XI, 337 p. 445 illus., 54 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12236 311 08$a3-030-53517-7 327 $aInvited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12236 606 $aArtificial intelligence 606 $aComputer science 606 $aComputer networks 606 $aApplication software 606 $aSoftware engineering 606 $aComputers 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aComputer Communication Networks 606 $aComputer and Information Systems Applications 606 $aSoftware Engineering 606 $aComputing Milieux 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aComputer networks. 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aComputers. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aComputer Communication Networks. 615 24$aComputer and Information Systems Applications. 615 24$aSoftware Engineering. 615 24$aComputing Milieux. 676 $a004.0151 676 $a006.30151 702 $aBenzmu?ller$b Christoph$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMiller$b Bruce$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910413439303321 996 $aIntelligent Computer Mathematics$93552027 997 $aUNINA