03797nam 22007455 450 99646570140331620200705115335.03-319-42547-110.1007/978-3-319-42547-4(CKB)3710000000765274(DE-He213)978-3-319-42547-4(MiAaPQ)EBC5578797(PPN)19451515X(EXLCZ)99371000000076527420160711d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntelligent Computer Mathematics[electronic resource] 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XIV, 163 p. 21 illus.) Lecture Notes in Artificial Intelligence ;97913-319-42546-3 This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.Lecture Notes in Artificial Intelligence ;9791Artificial intelligenceMathematical logicComputer logicSoftware engineeringProgramming languages (Electronic computers)Computer simulationArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Artificial intelligence.Mathematical logic.Computer logic.Software engineering.Programming languages (Electronic computers).Computer simulation.Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Software Engineering.Programming Languages, Compilers, Interpreters.Simulation and Modeling.004.0151Kohlhase Michaeledthttp://id.loc.gov/vocabulary/relators/edtJohansson Moaedthttp://id.loc.gov/vocabulary/relators/edtMiller Bruceedthttp://id.loc.gov/vocabulary/relators/edtde Moura Leonardoedthttp://id.loc.gov/vocabulary/relators/edtTompa Frankedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465701403316Intelligent Computer Mathematics2149623UNISA