Matches in Library of Congress for { <http://lccn.loc.gov/2007936170> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2007936170 alternative "TYPES 2006".
- 2007936170 contributor B11065422.
- 2007936170 contributor B11065423.
- 2007936170 created "c2007.".
- 2007936170 date "2007".
- 2007936170 date "c2007.".
- 2007936170 dateCopyrighted "c2007.".
- 2007936170 description "Includes bibliographical references and index.".
- 2007936170 extent "viii, 268 p. :".
- 2007936170 hasFormat "Also issued online.".
- 2007936170 identifier "3540744630 (pbk.)".
- 2007936170 identifier "9783540744634 (pbk.)".
- 2007936170 identifier 2007936170.html.
- 2007936170 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4502.
- 2007936170 isFormatOf "Also issued online.".
- 2007936170 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2007936170 isPartOf "Lecture notes in computer science, 0302-9743 ; 4502".
- 2007936170 issued "2007".
- 2007936170 issued "c2007.".
- 2007936170 language "eng".
- 2007936170 publisher "Berlin ; New York : Springer,".
- 2007936170 relation "Also issued online.".
- 2007936170 subject "Automatic theorem proving Congresses.".
- 2007936170 subject "Computer programming Congresses.".
- 2007936170 subject "QA76.9.A96 T96 2006".
- 2007936170 title "TYPES 2006".
- 2007936170 title "Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).".
- 2007936170 type "text".