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 01764nam 2200385 n 450 001 996387052703316 005 20221103135053.0 035 $a(CKB)1000000000628638 035 $a(EEBO)2240925089 035 $a(UnM)9959475200971 035 $a(EXLCZ)991000000000628638 100 $a20790322d1708 uh 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aBy the Queen, a proclamation. Anne R. Whereas the Commons of Great Britain in this present Parliament assembled, have by their humble address besought us, ..$b[electronic resource] 210 $aLondon $cprinted by Charles Bill, and the executrix of Thomas Newcomb, deceas'd; printers to the Queens most excellent Majesty$d1708 215 $a1 sheet ([1] p.) 300 $a"Given at our court at St. James's the first day of April, 1708. In the seventh year of our reign.". 300 $aRequiring the execution of the act for the better recruiting the land-forces and marines. 300 $aSteele notation: Arms 166 As- the Dismiss. Press figure C under imprint. Also under imprint: (Price One Peny.). 300 $aReproduction of original in the British Library. 330 $aeebo-0018 606 $aSoldiers$zEngland$vEarly works to 1800 607 $aGreat Britain$xPolitics and government$y1702-1714$vEarly works to 1800 615 0$aSoldiers 701 $aAnne$cQueen of Great Britain,$f1665-1714.$01000904 801 0$bUk-ES 801 1$bUk-ES 801 2$bCu-RivES 801 2$bCStRLIN 801 2$bCu-RivES 906 $aBOOK 912 $a996387052703316 996 $aBy the Queen, a proclamation. Anne R. Whereas the Commons of Great Britain in this present Parliament assembled, have by their humble address besought us, .$92367699 997 $aUNISA LEADER 01440nas 2200445-a 450 001 996336488503316 005 20230518213020.0 011 $a1375-2434 035 $a(OCoLC)60623825 035 $a(CKB)110978966561702 035 $a(CONSER)--2011236586 035 $a(EXLCZ)99110978966561702 100 $a20050614a19689999 s-- - 101 0 $aeng 135 $aurun||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFides et historia $eofficial publication of the Conference on Faith and History 210 $a[Longview, Tex.] $cConference on Faith and History 215 $avolumes ;$d23 cm 300 $aRefereed/Peer-reviewed 300 $aPlace of publication varies. 311 $a0884-5379 531 $aFIDES ET HIST 606 $aHistory$xReligious aspects$xChristianity$vPeriodicals 606 $aChurch history$vPeriodicals 606 $aChurch history$2fast$3(OCoLC)fst00860740 606 $aHistory$xReligious aspects$xChristianity$2fast$3(OCoLC)fst00958274 608 $aPeriodicals.$2fast 615 0$aHistory$xReligious aspects$xChristianity 615 0$aChurch history 615 7$aChurch history. 615 7$aHistory$xReligious aspects$xChristianity. 676 $a261 712 02$aConference on Faith and History. 906 $aJOURNAL 912 $a996336488503316 996 $aFides et historia$92054558 997 $aUNISA