Matches in Library of Congress for { <http://lccn.loc.gov/94012368> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 94012368 contributor B7171706.
- 94012368 created "c1994.".
- 94012368 date "1994".
- 94012368 date "c1994.".
- 94012368 dateCopyrighted "c1994.".
- 94012368 description "Includes bibliographical references.".
- 94012368 extent "383 p. ;".
- 94012368 identifier "0387580859 (New York : pbk. : acid-free paper)".
- 94012368 identifier "3540580859 :".
- 94012368 identifier 94012368-d.html.
- 94012368 isPartOf "Lecture notes in computer science ; 806".
- 94012368 issued "1994".
- 94012368 issued "c1994.".
- 94012368 language "eng".
- 94012368 publisher "Berlin ; New York : Springer-Verlag,".
- 94012368 subject "005.1/01/5113 20".
- 94012368 subject "Automatic theorem proving Congresses.".
- 94012368 subject "Computer programs Congresses.".
- 94012368 subject "QA76.9.A96 T97 1994".
- 94012368 title "Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds.".
- 94012368 type "text".