Matches in Library of Congress for { <http://lccn.loc.gov/2003058134> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2003058134 contributor B9549220.
- 2003058134 contributor B9549221.
- 2003058134 created "2003.".
- 2003058134 date "2003".
- 2003058134 date "2003.".
- 2003058134 dateCopyrighted "2003.".
- 2003058134 description "Includes bibliographical references and index.".
- 2003058134 extent "x, 366 p. :".
- 2003058134 identifier "3540406646 (alk. paper)".
- 2003058134 identifier 2003058134-d.html.
- 2003058134 isPartOf "Lecture notes in computer science ; 2758".
- 2003058134 issued "2003".
- 2003058134 issued "2003.".
- 2003058134 language "eng".
- 2003058134 publisher "Berlin ; New York : Springer,".
- 2003058134 subject "006.3/33 22".
- 2003058134 subject "Automatic theorem proving Congresses.".
- 2003058134 subject "QA76.9.A96 T655 2003".
- 2003058134 title "Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings / David Basin, Burkhart Wolff (eds.).".
- 2003058134 type "text".