Matches in Library of Congress for { <http://lccn.loc.gov/99049081> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 99049081 contributor B8673132.
- 99049081 contributor B8673133.
- 99049081 created "1999.".
- 99049081 date "1999".
- 99049081 date "1999.".
- 99049081 dateCopyrighted "1999.".
- 99049081 description "Includes bibliographical references.".
- 99049081 extent "viii, 207 p. ;".
- 99049081 identifier "3540665374".
- 99049081 identifier 99049081-d.html.
- 99049081 isPartOf "Lecture notes in computer science ; 1657".
- 99049081 issued "1999".
- 99049081 issued "1999.".
- 99049081 language "eng".
- 99049081 publisher "New York : Springer,".
- 99049081 subject "005.13/1 21".
- 99049081 subject "Automatic theorem proving Congresses.".
- 99049081 subject "Computer programming Congresses.".
- 99049081 subject "QA76.9.A96 T96 1998".
- 99049081 subject "Type theory Congresses.".
- 99049081 title "Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.).".
- 99049081 type "text".