Matches in Library of Congress for { <http://lccn.loc.gov/2004106869> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2004106869 alternative "TYPES 2003".
- 2004106869 contributor B9878342.
- 2004106869 contributor B9878343.
- 2004106869 created "c2004.".
- 2004106869 date "2004".
- 2004106869 date "c2004.".
- 2004106869 dateCopyrighted "c2004.".
- 2004106869 description "Includes bibliographical references and index.".
- 2004106869 extent "x, 408 p. :".
- 2004106869 hasFormat "Also issued online.".
- 2004106869 identifier "3540221646".
- 2004106869 identifier 2004106869-d.html.
- 2004106869 identifier 2004106869.html.
- 2004106869 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3085.
- 2004106869 isFormatOf "Also issued online.".
- 2004106869 isPartOf "Lecture notes in computer science, 0302-9743 ; 3085".
- 2004106869 issued "2004".
- 2004106869 issued "c2004.".
- 2004106869 language "eng".
- 2004106869 publisher "Berlin ; New York : Springer,".
- 2004106869 relation "Also issued online.".
- 2004106869 subject "004/.01/5113 22".
- 2004106869 subject "Automatic theorem proving Congresses.".
- 2004106869 subject "Computer programming Congresses.".
- 2004106869 subject "QA76.9.A96 T96 2003".
- 2004106869 title "TYPES 2003".
- 2004106869 title "Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.).".
- 2004106869 type "text".