Matches in Library of Congress for { <http://lccn.loc.gov/2008926731> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2008926731 alternative "TYPES 2007".
- 2008926731 contributor B11380875.
- 2008926731 contributor B11380876.
- 2008926731 created "c2008.".
- 2008926731 date "2008".
- 2008926731 date "c2008.".
- 2008926731 dateCopyrighted "c2008.".
- 2008926731 description "Includes bibliographical references and index.".
- 2008926731 extent "vi, 202 p. :".
- 2008926731 identifier "3540680845 (pbk. : alk. paper)".
- 2008926731 identifier "9783540680840 (pbk. : alk. paper)".
- 2008926731 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2008926731 isPartOf "Lecture notes in computer science, 0302-9743 ; 4941".
- 2008926731 issued "2008".
- 2008926731 issued "c2008.".
- 2008926731 language "eng".
- 2008926731 publisher "Berlin ; New York : Springer,".
- 2008926731 subject "005.13/1 21".
- 2008926731 subject "Automatic theorem proving Congresses.".
- 2008926731 subject "Computer programming Congresses.".
- 2008926731 subject "QA76.9.A96 T96 2008".
- 2008926731 title "TYPES 2007".
- 2008926731 title "Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.).".
- 2008926731 type "text".