LEADER 03516nam  22006735  450 
001 996418306403316
005 20200717084514.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(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$b[electronic resource] $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 ;$v12236
311   $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 ;$v12236
606   $aArtificial intelligence
606   $aComputers
606   $aApplication software
606   $aSoftware engineering
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008
606   $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputing Milieux$3https://scigraph.springernature.com/ontologies/product-market-codes/I24008
615  0$aArtificial intelligence.
615  0$aComputers.
615  0$aApplication software.
615  0$aSoftware engineering.
615 14$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aInformation Systems and Communication Service.
615 24$aComputer Applications.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputing Milieux.
676   $a004.0151
702   $aBenzmü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   $a996418306403316
996   $aIntelligent Computer Mathematics$92149623
997   $aUNISA