Matches in Library of Congress for { <http://lccn.loc.gov/2002069525> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2002069525 contributor B9239711.
- 2002069525 contributor B9239712.
- 2002069525 contributor B9239713.
- 2002069525 created "c2002.".
- 2002069525 date "2002".
- 2002069525 date "c2002.".
- 2002069525 dateCopyrighted "c2002.".
- 2002069525 description "Includes bibliographical references.".
- 2002069525 description "Machine generated contents note: Preface ix -- Cartesian Closed Categories of Effective Domains, -- G.HAMRIN andV.STOLTENBERG-HANSEN-- Algorithmic Game Semantics: A Tutorial Introduction, -- S.ABRAMSKY 21 -- Algebra of Networks, -- G.STEFANESCU 49 -- Computability and Complexity from a Programming Perspective, -- N.D.JONES79 -- Logical Frameworks: A Brief Introduction, -- F.PFENNING 137 -- Ludics: An Introduction, -- J.-Y.GIRARD 167 -- Naive Computational Type Theory, -- R.L.CONSTABLE 213 -- Proof-Carrying Code.Design and Implementation, -- G.NECULA 261 -- Abstractions and Reductions in Model Checking, -- .GRUMBERG289 -- Hoare Logic: From First-order to Propositional Formalism, -- J.TIURYN 323 -- Hoare Logics in Isabelle/HOL, -- T.NIPKOW341 -- Proof Theoretic Complexity -- G.E.OSTRINandS.S.WAINER369 -- Feasible Computation with Higher Types, -- H.SCHWICHTENBERG and S.J.BELLANTONI399.".
- 2002069525 extent "xii, 415 p. :".
- 2002069525 identifier "1402006071 (alk. paper)".
- 2002069525 identifier 2002069525.html.
- 2002069525 isPartOf "NATO science series. Series II, Mathematics, physics, and chemistry ; v. 62".
- 2002069525 issued "2002".
- 2002069525 issued "c2002.".
- 2002069525 language "eng".
- 2002069525 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 2002069525 subject "004 21".
- 2002069525 subject "Computer systems Reliability Congresses.".
- 2002069525 subject "Proof theory Congresses.".
- 2002069525 subject "QA76.76.R44 N38 2001".
- 2002069525 tableOfContents "Machine generated contents note: Preface ix -- Cartesian Closed Categories of Effective Domains, -- G.HAMRIN andV.STOLTENBERG-HANSEN-- Algorithmic Game Semantics: A Tutorial Introduction, -- S.ABRAMSKY 21 -- Algebra of Networks, -- G.STEFANESCU 49 -- Computability and Complexity from a Programming Perspective, -- N.D.JONES79 -- Logical Frameworks: A Brief Introduction, -- F.PFENNING 137 -- Ludics: An Introduction, -- J.-Y.GIRARD 167 -- Naive Computational Type Theory, -- R.L.CONSTABLE 213 -- Proof-Carrying Code.Design and Implementation, -- G.NECULA 261 -- Abstractions and Reductions in Model Checking, -- .GRUMBERG289 -- Hoare Logic: From First-order to Propositional Formalism, -- J.TIURYN 323 -- Hoare Logics in Isabelle/HOL, -- T.NIPKOW341 -- Proof Theoretic Complexity -- G.E.OSTRINandS.S.WAINER369 -- Feasible Computation with Higher Types, -- H.SCHWICHTENBERG and S.J.BELLANTONI399.".
- 2002069525 title "Proof and system-reliability / edited by Helmut Schwichtenberg and Ralf Steinbrüggen.".
- 2002069525 type "text".