LEADER 01242nam 2200313Ia 450 001 996394656703316 005 20221108022305.0 035 $a(CKB)3810000000008726 035 $a(EEBO)2248530425 035 $a(OCoLC)9959588700971 035 $a(EXLCZ)993810000000008726 100 $a20050929d1685 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe troubles of England$b[electronic resource] /$fBy Dr. Bates [sic] princip: phys. to K.C.I 210 $a[London] $cPrinted for Abel Swall, at the unicorn at the west end of St. Pauls.$d1685 215 $a[1]+ leaves $cill 300 $aEngraved added t.p. from an unidentified edition (Wing B1083 or B1083A) of "Elenchus motuum nuperorum in Anglia" or "The history of the rise and progress of the civil wars in England, from the year 1625, to 1660," by George Bate. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 607 $aGreat Britain$xHistory$yStuarts, 1603-1714 608 $aTitle pages$zEngland$y17th century. 700 $aBate$b George$f1608-1669.$0796269 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996394656703316 996 $aThe troubles of England$92350560 997 $aUNISA LEADER 04306nam 22007695 450 001 9910143915203321 005 20200702125154.0 010 $a3-540-45842-5 024 7 $a10.1007/3-540-45842-5 035 $a(CKB)1000000000211678 035 $a(SSID)ssj0000327459 035 $a(PQKBManifestationID)11265772 035 $a(PQKBTitleCode)TC0000327459 035 $a(PQKBWorkID)10301621 035 $a(PQKB)10491463 035 $a(DE-He213)978-3-540-45842-5 035 $a(MiAaPQ)EBC3072895 035 $a(PPN)155232916 035 $a(EXLCZ)991000000000211678 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTypes for Proofs and Programs $eInternational Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /$fedited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (VIII, 248 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2277 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43287-6 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aCollection Principles in Dependent Type Theory -- Executing Higher Order Logic -- A Tour with Constructive Real Numbers -- An Implementation of Type:Type -- On the Logical Content of Computational Type Theory: A Solution to Curry?s Problem -- Constructive Reals in Coq: Axioms and Categoricity -- A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals -- A Kripke-Style Model for the Admissibility of Structural Rules -- Towards Limit Computable Mathematics -- Formalizing the Halting Problem in a Constructive Type Theory -- On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory -- Changing Data Structures in Type Theory: A Study of Natural Numbers -- Elimination with a Motive -- Generalization in Type Theory Based Proof Assistants -- An Inductive Version of Nash-Williams? Minimal-Bad-Sequence Argument for Higman?s Lemma. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2277 606 $aComputer logic 606 $aArchitecture, Computer 606 $aMathematical logic 606 $aProgramming languages (Electronic computers) 606 $aArtificial intelligence 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer logic. 615 0$aArchitecture, Computer. 615 0$aMathematical logic. 615 0$aProgramming languages (Electronic computers). 615 0$aArtificial intelligence. 615 14$aLogics and Meanings of Programs. 615 24$aComputer System Implementation. 615 24$aMathematical Logic and Foundations. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aArtificial Intelligence. 676 $a006.3/33 702 $aCallaghan$b Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLuo$b Zhaohui$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMcKinna$b James$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPollack$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTYPES 2000 906 $aBOOK 912 $a9910143915203321 996 $aTypes for Proofs and Programs$9771867 997 $aUNINA LEADER 02814nam 22005535 450 001 9910484200203321 005 20200701153437.0 010 $a981-15-2568-4 024 7 $a10.1007/978-981-15-2568-1 035 $a(CKB)4900000000505021 035 $a(MiAaPQ)EBC6012261 035 $a(DE-He213)978-981-15-2568-1 035 $a(PPN)243767366 035 $a(EXLCZ)994900000000505021 100 $a20200111d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBig Data Analytics for Cyber-Physical System in Smart City $eBDCPS 2019, 28-29 December 2019, Shenyang, China /$fedited by Mohammed Atiquzzaman, Neil Yen, Zheng Xu 205 $a1st ed. 2020. 210 1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2020. 215 $a1 online resource (xxxiii, 2,016 pages) $cillustrations 225 1 $aAdvances in Intelligent Systems and Computing,$x2194-5357 ;$v1117 311 $a981-15-2567-6 330 $aThis book gathers a selection of peer-reviewed papers presented at the first Big Data Analytics for Cyber-Physical System in Smart City (BDCPS 2019) conference, held in Shengyang, China, on 28?29 December 2019. The contributions, prepared by an international team of scientists and engineers, cover the latest advances made in the field of machine learning, and big data analytics methods and approaches for the data-driven co-design of communication, computing, and control for smart cities. Given its scope, it offers a valuable resource for all researchers and professionals interested in big data, smart cities, and cyber-physical systems. 410 0$aAdvances in Intelligent Systems and Computing,$x2194-5357 ;$v1117 606 $aComputational intelligence 606 $aBig data 606 $aComputational Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/T11014 606 $aBig Data$3https://scigraph.springernature.com/ontologies/product-market-codes/I29120 606 $aBig Data/Analytics$3https://scigraph.springernature.com/ontologies/product-market-codes/522070 615 0$aComputational intelligence. 615 0$aBig data. 615 14$aComputational Intelligence. 615 24$aBig Data. 615 24$aBig Data/Analytics. 676 $a005.7 702 $aAtiquzzaman$b Mohammed$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYen$b Neil$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aXu$b Zheng$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484200203321 996 $aBig Data Analytics for Cyber-Physical System in Smart City$91921330 997 $aUNINA