LEADER 00930nam0-22003011i-450- 001 990006414920403321 005 20070208144408.0 010 $a3-261-02914-5 035 $a000641492 035 $aFED01000641492 035 $a(Aleph)000641492FED01 035 $a000641492 100 $a20000927d1977----km-y0itay50------ba 101 0 $ager 102 $aDE 105 $ay-------001yy 200 1 $a"Vie ouvrière" und Sozialpolitik$edie Einführung der "retraites ouvrières" in Frankreick um 1910$eein Beitrag zur Geschichte der Sozialversicherung$fIrène Bourquin 210 $aBern$cLang$d1977 215 $a343 p.$d23 cm 225 1 $aGeist und Werk der Zeiten$v52 700 1$aBourquin,$bIrène$0495371 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006414920403321 952 $aSDI-S 657$b1319 idr$fSDI 959 $aSDI 996 $a"Vie ouvrière" und Sozialpolitik$9649169 997 $aUNINA LEADER 01923nam 2200409 n 450 001 996396521403316 005 20200824121446.0 035 $a(CKB)4330000000328618 035 $a(EEBO)2240926804 035 $a(UnM)99847249e 035 $a(UnM)99847249 035 $a(EXLCZ)994330000000328618 100 $a19911125d1548 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 02$aA godly medytacyon of the christen sowle, concerninge a loue towardes God and hys Christe, compyled in frenche by lady Margarete quene of Nauerre, and aptely translated into Englysh by the ryght vertuouse lady Elyzabeth doughter to our late souerayne Kynge Henri the. viij$b[electronic resource] 210 $a[[Wesel] $cImprented [by Dirik van der Straten]$din the yeare of our lorde 1548. in Apryll] 215 $a47, [1] leaves 300 $aA translation of: Le miroir de la?me pe?cherresse. 300 $aEditor's dedication signed: Iohan Bale. 300 $aWith a title-page woodcut. 300 $aPlace of publication and printer's name from STC; publication date from colophon. 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aMeditations$vEarly works to 1800 615 0$aMeditations 700 $aMarguerite$cQueen, consort of Henry II, King of Navarre,$f1492-1549.$0385525 701 $aBale$b John$f1495-1563.$0423976 701 $aElizabeth$cQueen of England,$f1533-1603.$0996842 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996396521403316 996 $aA godly medytacyon of the christen sowle, concerninge a loue towardes God and hys Christe, compyled in frenche by lady Margarete quene of Nauerre, and aptely translated into Englysh by the ryght vertuouse lady Elyzabeth doughter to our late souerayne Kynge Henri the. viij$92420169 997 $aUNISA LEADER 05831nam 2200601 450 001 996465913903316 005 20210317104023.0 010 $a3-540-71070-1 024 7 $a10.1007/978-3-540-71070-7 035 $a(CKB)1000000000490354 035 $a(SSID)ssj0000355449 035 $a(PQKBManifestationID)11272648 035 $a(PQKBTitleCode)TC0000355449 035 $a(PQKBWorkID)10319981 035 $a(PQKB)10399497 035 $a(DE-He213)978-3-540-71070-7 035 $a(MiAaPQ)EBC3063575 035 $a(MiAaPQ)EBC6414145 035 $a(PPN)129061816 035 $a(EXLCZ)991000000000490354 100 $a20210317d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aAutomated reasoning $e4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, proceedings /$fAlessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.) 205 $a1st ed. 2008. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2008] 210 4$d©2008 215 $a1 online resource (XII, 556 p.) 225 1 $aLecture Notes in Computer Science ;$v5195 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-71069-8 320 $aIncludes bibliographical references and index. 327 $aSession 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating the Calculus of Relations -- Session 3: Automated Verification -- Towards SMT Model Checking of Array-Based Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well-Definedness Checking -- Session 4: Protocol Verification -- Proving Group Protocols Secure Against Eavesdroppers -- Session 5: System Descriptions 1 -- Automated Implicit Computational Complexity Analysis (System Description) -- LogAnswer - A Deduction-Based Question Answering System (System Description) -- A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) -- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) -- The Complexity of Conjunctive Query Answering in Expressive Description Logics -- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments -- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse -- Session 8: Herbrand Award Ceremony -- Automata-Based Axiom Pinpointing -- Individual Reuse in Description Logic Reasoning -- The Logical Difference Problem for Description Logic Terminologies -- Session 10: System Descriptions 2 -- Aligator: A Mathematica Package for Invariant Generation (System Description) -- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) -- iProver ? An Instantiation-Based Theorem Prover for First-Order Logic (System Description) -- An Experimental Evaluation of Global Caching for (System Description) -- Multi-completion with Termination Tools (System Description) -- MTT: The Maude Termination Tool (System Description) -- Celf ? A Logical Framework for Deductive and Concurrent Systems (System Description) -- Canonicity! -- Unification and Matching Modulo Leaf-Permutative Equational Presentations -- Modularity of Confluence -- Automated Complexity Analysis Based on the Dependency Pair Method -- Canonical Inference for Implicational Systems -- Challenges in the Automated Verification of Security Protocols -- Session 14: Theorem Proving 1 -- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets -- Proof Systems for Effectively Propositional Logic -- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance -- CASC-J4 The 4th IJCAR ATP System Competition -- Session 16: Theorem Proving 2 -- Labelled Splitting -- Engineering DPLL(T) + Saturation -- THF0 ? The Core of the TPTP Language for Higher-Order Logic -- Focusing in Linear Meta-logic -- Certifying a Tree Automata Completion Checker -- Automated Induction with Constrained Tree Automata. 330 $aThis book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata. 410 0$aLecture notes in computer science ;$v5195. 606 $aArtificial intelligence$vCongresses 606 $aComputer science$vCongresses 615 0$aArtificial intelligence 615 0$aComputer science 676 $a006.3 702 $aArmando$b Alessandro 702 $aBaumgartner$b Peter$f1953- 702 $aDowek$b Gilles 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465913903316 996 $aAutomated Reasoning$9771895 997 $aUNISA