Matches in Library of Congress for { <http://lccn.loc.gov/00069849> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 00069849 contributor B65866.
- 00069849 contributor B65867.
- 00069849 created "2001.".
- 00069849 date "2001".
- 00069849 date "2001.".
- 00069849 dateCopyrighted "2001.".
- 00069849 description "Includes bibliographical references and index.".
- 00069849 extent "193 p. ;".
- 00069849 identifier "3540415173 (softcover : alk. paper)".
- 00069849 identifier 00069849-d.html.
- 00069849 isPartOf "Lecture notes in computer science ; 1956".
- 00069849 issued "2001".
- 00069849 issued "2001.".
- 00069849 language "eng".
- 00069849 publisher "Berlin ; New York : Springer,".
- 00069849 subject "005.13/1 21".
- 00069849 subject "Automatic theorem proving Congresses.".
- 00069849 subject "Computer programming Congresses.".
- 00069849 subject "QA76.9.A96 T96 1999".
- 00069849 subject "Type theory Congresses.".
- 00069849 title "Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.], (Eds.)".
- 00069849 type "text".