Matches in Library of Congress for { <http://lccn.loc.gov/95044954> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 95044954 contributor B7492196.
- 95044954 contributor B7492197.
- 95044954 created "c1995.".
- 95044954 date "1995".
- 95044954 date "c1995.".
- 95044954 dateCopyrighted "c1995.".
- 95044954 description "Includes bibliographical references.".
- 95044954 extent "x, 202 p. :".
- 95044954 identifier "3540605797 (pbk. : acid₋free paper)".
- 95044954 identifier 95044954-d.html.
- 95044954 isPartOf "Lecture notes in computer science ; 996".
- 95044954 issued "1995".
- 95044954 issued "c1995.".
- 95044954 language "eng".
- 95044954 publisher "Berlin ; New York : Springer,".
- 95044954 subject "005.13/1 20".
- 95044954 subject "Automatic theorem proving Congresses.".
- 95044954 subject "QA76.9.A96 I594 1994".
- 95044954 title "Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith, eds.".
- 95044954 type "text".