Matches in Library of Congress for { <http://lccn.loc.gov/98046039> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 98046039 contributor B8369551.
- 98046039 contributor B8369552.
- 98046039 created "c1998.".
- 98046039 date "1998".
- 98046039 date "c1998.".
- 98046039 dateCopyrighted "c1998.".
- 98046039 description "Includes bibliographical references and index.".
- 98046039 extent "viii, 372 p. ;".
- 98046039 identifier "3540651373 (softcover)".
- 98046039 identifier 98046039-d.html.
- 98046039 isPartOf "Lecture notes in computer science, 0302-9743 ; 1512".
- 98046039 issued "1998".
- 98046039 issued "c1998.".
- 98046039 language "eng".
- 98046039 publisher "Berlin ; New York : Springer,".
- 98046039 subject "004/.01/5113 21".
- 98046039 subject "Computer logic Congresses.".
- 98046039 subject "QA76.9.L63 I58 1996".
- 98046039 subject "Type theory Congresses.".
- 98046039 title "Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring, eds.".
- 98046039 type "text".