LEADER 04046nam  22007455  450 
001 9910349416303321
005 20200705215242.0
010   $a3-319-96812-2
024 7 $a10.1007/978-3-319-96812-4
035   $a(CKB)4100000005471901
035   $a(DE-He213)978-3-319-96812-4
035   $a(MiAaPQ)EBC6301744
035   $a(PPN)229915965
035   $a(EXLCZ)994100000005471901
100   $a20180717d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntelligent Computer Mathematics $e11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /$fedited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XII, 287 p. 102 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v11006
311   $a3-319-96811-4 
327   $aCalculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management.
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v11006
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aApplication software
606   $aEducation?Data processing
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputer Appl. in Social and Behavioral Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/I23028
606   $aComputers and Education$3https://scigraph.springernature.com/ontologies/product-market-codes/I24032
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aApplication software.
615  0$aEducation?Data processing.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputer Appl. in Social and Behavioral Sciences.
615 24$aComputers and Education.
676   $a006.30151
702   $aRabe$b Florian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFarmer$b William M$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPassmore$b Grant O$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aYoussef$b Abdou$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349416303321
996   $aIntelligent Computer Mathematics$93552027
997   $aUNINA