03654nam 22007815 450 991034941630332120251225203653.09783319968124331996812210.1007/978-3-319-96812-4(CKB)4100000005471901(DE-He213)978-3-319-96812-4(MiAaPQ)EBC6301744(PPN)229915965(MiAaPQ)EBC6275240(EXLCZ)99410000000547190120180717d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XII, 287 p. 102 illus.) Lecture Notes in Artificial Intelligence,2945-9141 ;110069783319968117 3319968114 Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management.This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.Lecture Notes in Artificial Intelligence,2945-9141 ;11006Artificial intelligenceMachine theoryComputer programmingCompilers (Computer programs)Social sciencesData processingEducationData processingArtificial IntelligenceFormal Languages and Automata TheoryProgramming TechniquesCompilers and InterpretersComputer Application in Social and Behavioral SciencesComputers and EducationArtificial intelligence.Machine theory.Computer programming.Compilers (Computer programs).Social sciencesData processing.EducationData processing.Artificial Intelligence.Formal Languages and Automata Theory.Programming Techniques.Compilers and Interpreters.Computer Application in Social and Behavioral Sciences.Computers and Education.006.30151Rabe Florianedthttp://id.loc.gov/vocabulary/relators/edtFarmer William Medthttp://id.loc.gov/vocabulary/relators/edtPassmore Grant Oedthttp://id.loc.gov/vocabulary/relators/edtYoussef Abdouedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349416303321Intelligent Computer Mathematics3552027UNINA