LEADER 04071nam 22007455 450 001 996466278303316 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$b[electronic resource] $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 $a996466278303316 996 $aIntelligent Computer Mathematics$92149623 997 $aUNISA LEADER 01088nam 2200385 450 001 9910796748203321 005 20230721035135.0 010 $a1-5040-5508-X 035 $a(CKB)4100000004834255 035 $a(MiAaPQ)EBC5423759 035 $a(Au-PeEL)EBL5423759 035 $a(CaPaEBR)ebr11576750 035 $a(OCoLC)1041062919 035 $a(EXLCZ)994100000004834255 100 $a20180627d2007 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEncyclopedia of superstitions /$fEdwin Radford and Mona A. Radford 210 1$aNew York :$cPhilosophical Library,$d2007. 215 $a1 online resource (499 pages) 606 $aSuperstition$vDictionaries 615 0$aSuperstition 676 $a398.4103 700 $aRadford$b Edwin$01570660 702 $aRadford$b Mona A. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910796748203321 996 $aEncyclopedia of superstitions$93844480 997 $aUNINA LEADER 02446nam 2200529 450 001 9910818485603321 005 20230803034617.0 010 $a1-55493-709-4 035 $a(CKB)3710000000097568 035 $a(EBL)3410250 035 $a(SSID)ssj0001325932 035 $a(PQKBManifestationID)11869435 035 $a(PQKBTitleCode)TC0001325932 035 $a(PQKBWorkID)11519768 035 $a(PQKB)11506994 035 $a(MiAaPQ)EBC3410250 035 $a(Au-PeEL)EBL3410250 035 $a(CaPaEBR)ebr10855553 035 $a(OCoLC)923424261 035 $a(EXLCZ)993710000000097568 100 $a20140414h20132013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aDescriptive catalogue of materials relating to the history of Great Britain and Ireland, to the end of the reign of Henry VII$hVolume I, Part I, $eFrom the Roman period to the Norman invasion /$fedited by Thomas Duffus Hardy 205 $aSearchable text edition. 210 1$aBurlington, Ontario :$cTannerRitchie Publishing in collaboration with the Library and Information Services of the University of St. Andrews,$d2013. 210 4$dİ2013 215 $a1 online resource (610 p.) 225 1 $aRerum Britannicarum Medii Aevi Scriptores 300 $aDescription based upon print version of record. 327 $a""Title Page ""; ""Preface ""; ""Table Of Contents ""; ""Catalogue Of The Materials For The History Of Britain ""; ""Descriptive Catalogue Of Manuscripts Relating To The Early History Of Great Britain (Part I: 0-750) ""; ""Entry Numbers ""; ""No. 1 ""; ""No. 50 ""; ""No. 100 ""; ""No. 150 ""; ""No. 200 ""; ""No. 250 ""; ""No. 300 ""; ""No. 350 ""; ""No. 400 ""; ""No. 450 ""; ""No. 500 ""; ""No. 550 ""; ""No. 600 ""; ""No. 650 ""; ""No. 700 ""; ""No. 750 ""; ""No. 800 ""; ""No. 850 ""; ""No. 900 ""; ""No. 950 ""; ""No. 1000 "" 410 0$aRerum Britannicarum medii aevi scriptores. 606 $aManuscripts$zGreat Britain$vCatalogs 607 $aGreat Britain$xHistory$vBibliography 615 0$aManuscripts 676 $a091 702 $aHardy$b Thomas Duffus 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910818485603321 996 $aDescriptive catalogue of materials relating to the history of Great Britain and Ireland, to the end of the reign of Henry VII$93927619 997 $aUNINA