Matches in Library of Congress for { <http://lccn.loc.gov/2009929554> ?p ?o. }
Showing items 1 to 41 of
41
with 100 items per page.
- 2009929554 alternative "TYPES 2008".
- 2009929554 contributor B11726584.
- 2009929554 contributor B11726585.
- 2009929554 created "2009.".
- 2009929554 date "2009".
- 2009929554 date "2009.".
- 2009929554 dateCopyrighted "2009.".
- 2009929554 description "Includes bibliographical references and index.".
- 2009929554 extent "viii, 322 p. :".
- 2009929554 identifier "3642024432".
- 2009929554 identifier "9783642024436".
- 2009929554 identifier 04.
- 2009929554 identifier 2009929554-d.html.
- 2009929554 isPartOf "LNCS sublibrary. SL 1 Theoretical computer science and general issues.".
- 2009929554 isPartOf "LNCS sublibrary: SL 1--Theoretical computer science and general issues".
- 2009929554 isPartOf "Lecture notes in computer science ; 5497.".
- 2009929554 isPartOf "Lecture notes in computer science, 0302-9743 ; 5497".
- 2009929554 issued "2009".
- 2009929554 issued "2009.".
- 2009929554 language "eng".
- 2009929554 publisher "Berlin ; New York : Springer,".
- 2009929554 spatial "Turin <2008>".
- 2009929554 subject "005.13122gerDNB".
- 2009929554 subject "Automatic theorem proving Congresses.".
- 2009929554 subject "Beweistheorie Typentheorie Kongress Turin <2008>".
- 2009929554 subject "Beweistheorie. swd".
- 2009929554 subject "Computer programming Congresses.".
- 2009929554 subject "HOL Typentheorie Kongress Turin <2008>".
- 2009929554 subject "HOL. swd".
- 2009929554 subject "Programmierung Typentheorie Kongress Turin <2008>".
- 2009929554 subject "Programmierung. swd".
- 2009929554 subject "QA76.9.A96 T96 2009".
- 2009929554 subject "Typentheorie Kongress Turin <2008>".
- 2009929554 subject "Typentheorie. swd".
- 2009929554 subject "Typsystem Kongress Turin <2008>".
- 2009929554 subject "Typsystem. swd".
- 2009929554 title "TYPES 2008".
- 2009929554 title "Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.).".
- 2009929554 type "Kongress. swd".
- 2009929554 type "Turin (2008) swd".
- 2009929554 type "text".