Matches in Library of Congress for { <http://lccn.loc.gov/2002022188> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2002022188 contributor B9215100.
- 2002022188 contributor B9215101.
- 2002022188 created "c2002.".
- 2002022188 date "2002".
- 2002022188 date "c2002.".
- 2002022188 dateCopyrighted "c2002.".
- 2002022188 description "Includes bibliographical references and index.".
- 2002022188 extent "viii, 242 p. :".
- 2002022188 identifier "3540432876 (alk. paper)".
- 2002022188 identifier 2002022188-d.html.
- 2002022188 isPartOf "Lecture notes in computer science ; 2277".
- 2002022188 issued "2002".
- 2002022188 issued "c2002.".
- 2002022188 language "eng".
- 2002022188 publisher "Berlin ; New York : Springer,".
- 2002022188 subject "006.3/33 21".
- 2002022188 subject "Automatic theorem proving Congresses.".
- 2002022188 subject "Computer programming Congresses.".
- 2002022188 subject "QA76.9.A96 T96 2000".
- 2002022188 title "Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.].".
- 2002022188 type "text".