Matches in Library of Congress for { <http://lccn.loc.gov/97033256> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 97033256 contributor B8062345.
- 97033256 contributor B8062346.
- 97033256 created "c1997.".
- 97033256 date "1997".
- 97033256 date "c1997.".
- 97033256 dateCopyrighted "c1997.".
- 97033256 description "Includes bibliographical references and index.".
- 97033256 extent "viii, 337 p. :".
- 97033256 identifier "3540633790 (softcover : alk. paper)".
- 97033256 identifier 97033256-d.html.
- 97033256 isPartOf "Lecture notes in computer science, 0302-9743 ; 1275".
- 97033256 issued "1997".
- 97033256 issued "c1997.".
- 97033256 language "eng".
- 97033256 publisher "Berlin ; New York : Springer,".
- 97033256 subject "004/.01/5113 21".
- 97033256 subject "Automatic theorem proving Congresses.".
- 97033256 subject "QA76.9.A96 I577 1997".
- 97033256 title "Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / Elsa L. Gunter, Amy Felty, eds.".
- 97033256 type "text".