Matches in Library of Congress for { <http://lccn.loc.gov/2007934271> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2007934271 alternative "TPHOLs 2007".
- 2007934271 contributor B11064077.
- 2007934271 contributor B11064078.
- 2007934271 created "c2007.".
- 2007934271 date "2007".
- 2007934271 date "c2007.".
- 2007934271 dateCopyrighted "c2007.".
- 2007934271 description "Includes bibliographical references and index.".
- 2007934271 extent "viii, 399 p. :".
- 2007934271 hasFormat "Also issued online.".
- 2007934271 identifier "3540745904 (softcover : alk. paper)".
- 2007934271 identifier "9783540745907 (softcover : alk. paper)".
- 2007934271 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4732.
- 2007934271 isFormatOf "Also issued online.".
- 2007934271 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2007934271 isPartOf "Lecture notes in computer science, 0302-9743 ; 4732".
- 2007934271 issued "2007".
- 2007934271 issued "c2007.".
- 2007934271 language "eng".
- 2007934271 publisher "Berlin ; New York : Springer,".
- 2007934271 relation "Also issued online.".
- 2007934271 subject "005.1/15 22".
- 2007934271 subject "Automatic theorem proving Congresses.".
- 2007934271 subject "Logic programming Congresses.".
- 2007934271 subject "QA76.9.A96 T655 2007".
- 2007934271 title "TPHOLs 2007".
- 2007934271 title "Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.).".
- 2007934271 type "text".