Matches in Library of Congress for { <http://lccn.loc.gov/2005046411> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2005046411 contributor B10157126.
- 2005046411 contributor B10157127.
- 2005046411 created "c2005.".
- 2005046411 date "2005".
- 2005046411 date "c2005.".
- 2005046411 dateCopyrighted "c2005.".
- 2005046411 description "Includes bibliographical references (p. [407]-416) and index.".
- 2005046411 extent "xi, 420 p. :".
- 2005046411 identifier "0387237593 (hardback : acid-free paper)".
- 2005046411 identifier 2005046411-d.html.
- 2005046411 identifier 2005046411-t.html.
- 2005046411 isPartOf "Monographs in computer science".
- 2005046411 issued "2005".
- 2005046411 issued "c2005.".
- 2005046411 language "eng".
- 2005046411 publisher "New York : Springer".
- 2005046411 subject "511.3/6 22".
- 2005046411 subject "Abstract data types (Computer science)".
- 2005046411 subject "Curry-Howard isomorphism.".
- 2005046411 subject "Functional programming (Computer science)".
- 2005046411 subject "Lambda calculus.".
- 2005046411 subject "Logic, Symbolic and mathematical.".
- 2005046411 subject "Proof theory.".
- 2005046411 subject "QA9.54 .P64 2005".
- 2005046411 title "Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.".
- 2005046411 type "text".