LEADER 01743nam 2200421 n 450 001 996390306103316 005 20200818224019.0 035 $a(CKB)4940000000099726 035 $a(EEBO)2240867934 035 $a(UnM)99830109e 035 $a(UnM)99830109 035 $a(EXLCZ)994940000000099726 100 $a19950713d1692 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aRiders (1692.) British Merlin$b[electronic resource] $ebedeckt with many delightful varieties and useful verities, fitting the longitude and latitude of all capacities within the islands of Great Britains monarchy. And chronological observations of principal note to this year 1692. Being bissextile or leap-year with notes of husbandry, physick, fairs, & marts and directions and tables to all necessary uses. Made & compiled for the benefit of his country, by Cardanus Riders 210 $aLondon $cprinted by Edw. Jones, for the Company of Stationers$d1692 215 $a[48] p. $cill 300 $aTitlepage and calendar in red and black. 300 $aSignatures: A? B¹² C?. 300 $aPages faded, affecting text. 300 $aReproduction of the original in the Royal College of Surgeons Library, London. 330 $aeebo-0137 606 $aAlmanacs, English$vEarly works to 1800 606 $aEphemerides$vEarly works to 1800 606 $aAstrology$vEarly works to 1800 615 0$aAlmanacs, English 615 0$aEphemerides 615 0$aAstrology 700 $aRider$b Cardanus$01002559 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996390306103316 996 $aRiders (1692.) British Merlin$92423250 997 $aUNISA LEADER 01211nam 2200397 450 001 9910808117103321 005 20230808205702.0 010 $a3-7369-8199-6 035 $a(CKB)4340000000197818 035 $a(MiAaPQ)EBC5019847 035 $a(EXLCZ)994340000000197818 100 $a20191230d2016 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPromofuel promotion of advanced biofuels $epreparation, fuel properties and engine emissions : final report /$fOlaf Schro?der [and eight others] 205 $a1. Auflage. 210 1$aGo?ttingen :$cCuvillier Verlag,$d2016. 215 $a1 online resource (75 pages) 225 0 $aFuels Joint Research Group ;$vBand 16 311 $a3-7369-9199-1 606 $aBiodiesel fuels 606 $aHevea brasiliensis 615 0$aBiodiesel fuels. 615 0$aHevea brasiliensis. 676 $a665.37 700 $aSchro?der$b Olaf$01713158 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910808117103321 996 $aPromofuel promotion of advanced biofuels$94105901 997 $aUNINA LEADER 05870nam 22008175 450 001 9910767505003321 005 20250415214231.0 010 $a9783540391852 010 $a3540391851 024 7 $a10.1007/3-540-39185-1 035 $a(CKB)1000000000212068 035 $a(SSID)ssj0000327460 035 $a(PQKBManifestationID)11276294 035 $a(PQKBTitleCode)TC0000327460 035 $a(PQKBWorkID)10301904 035 $a(PQKB)10493931 035 $a(DE-He213)978-3-540-39185-2 035 $a(MiAaPQ)EBC3071584 035 $a(PPN)155221191 035 $a(EXLCZ)991000000000212068 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTypes for Proofs and Programs $eSecond International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /$fedited by Herman Geuvers, Freek Wiedijk 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (CCCXLIV, 336 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2646 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783540140313 311 08$a354014031X 320 $aIncludes bibliographical references and index. 327 $a(Co-)Iteration for Higher-Order Nested Datatypes -- Program Extraction in Simply-Typed Higher Order Logic -- General Recursion in Type Theory -- Using Theory Morphisms for Implementing Formal Methods Tools -- Subsets, Quotients and Partial Functions in Martin-Löf?s Type Theory -- Mathematical Quotients and Quotient Types in Coq -- A Constructive Formalization of the Fundamental Theorem of Calculus -- Two Behavioural Lambda Models -- A Unifying Approach to Recursive and Co-recursive Definitions -- Holes with Binding Power -- Typing with Conditions and Guarantees for Functional In-place Update -- A New Extraction for Coq -- Weak Transitivity in Coercive Subtyping -- The Not So Simple Proof-Irrelevant Model of CC -- Structured Proofs in Isar/HOL -- Java as a Functional Programming Language -- Monad Translating Inductive and Coinductive Types -- A Finite First-Order Presentation of Set Theory. 330 $aThese proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24?28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L¨of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: ?Constructive Validity Revisited? by Dana Scott, ?From the Rules of Logic to the Logic of Rules? by Jean-Yves Girard, and ?The Varieties of Type Theories? by Peter Aczel. The contents of these contributions were not laid down in these proceedings, but the videos of the talks and the slides used by the speakers are available at http://www. cs. kun. nl/fnds/MartinLoefDay/LoefTalks. htm The previous workshop of the Types Working Group under EUIST project 29001 was held in 2000 in Durham, UK. The workshops Types 2000 and Types 2002 followed a series of meetings organized in the period 1993 ? 1999 whithin previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these earlier Types workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 1956 and 2277. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: - sign, Implementation and Experiments. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2646 606 $aSoftware engineering 606 $aComputers 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aLogic, Symbolic and mathematical 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aScience, Humanities and Social Sciences, multidisciplinary$3https://scigraph.springernature.com/ontologies/product-market-codes/A11007 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers) 615 0$aLogic, Symbolic and mathematical. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aScience, Humanities and Social Sciences, multidisciplinary. 615 24$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aGeuvers$b Herman$f1964-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWiedijk$b Freek$f1961-$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTYPES 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767505003321 996 $aTypes for Proofs and Programs$9771867 997 $aUNINA