04046nam 22007455 450 991034941630332120200705215242.03-319-96812-210.1007/978-3-319-96812-4(CKB)4100000005471901(DE-He213)978-3-319-96812-4(MiAaPQ)EBC6301744(PPN)229915965(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 ;110063-319-96811-4 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 ;11006Artificial intelligenceMathematical logicComputer programmingProgramming languages (Electronic computers)Application softwareEducation—Data processingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Appl. in Social and Behavioral Scienceshttps://scigraph.springernature.com/ontologies/product-market-codes/I23028Computers and Educationhttps://scigraph.springernature.com/ontologies/product-market-codes/I24032Artificial intelligence.Mathematical logic.Computer programming.Programming languages (Electronic computers).Application software.Education—Data processing.Artificial Intelligence.Mathematical Logic and Formal Languages.Programming Techniques.Programming Languages, Compilers, Interpreters.Computer Appl. 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