Matches in Library of Congress for { <http://lccn.loc.gov/2004111288> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2004111288 alternative "TPHOLs 2004".
- 2004111288 contributor B9881982.
- 2004111288 contributor B9881983.
- 2004111288 created "2004.".
- 2004111288 date "2004".
- 2004111288 date "2004.".
- 2004111288 dateCopyrighted "2004.".
- 2004111288 description "Includes bibliographical references and index.".
- 2004111288 extent "viii, 336 p. :".
- 2004111288 hasFormat "Also issued online.".
- 2004111288 identifier "3540230173 (pbk.)".
- 2004111288 identifier "9783540230175 (pbk.)".
- 2004111288 identifier 2004111288-d.html.
- 2004111288 identifier 2004111288.html.
- 2004111288 identifier 2004111288.html.
- 2004111288 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3223.
- 2004111288 isFormatOf "Also issued online.".
- 2004111288 isPartOf "Lecture notes in computer science, 0302-9743 ; 3223".
- 2004111288 issued "2004".
- 2004111288 issued "2004.".
- 2004111288 language "eng".
- 2004111288 publisher "Berlin ; New York : Springer,".
- 2004111288 relation "Also issued online.".
- 2004111288 subject "511.36028563 22".
- 2004111288 subject "Automatic theorem proving Congresses.".
- 2004111288 subject "QA76.9.A96 T655 2004".
- 2004111288 title "TPHOLs 2004".
- 2004111288 title "Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.).".
- 2004111288 type "text".