Matches in Library of Congress for { <http://lccn.loc.gov/96032853> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 96032853 contributor B7773893.
- 96032853 contributor B7773894.
- 96032853 created "c1996.".
- 96032853 date "1996".
- 96032853 date "c1996.".
- 96032853 dateCopyrighted "c1996.".
- 96032853 description "Includes bibliographical references and index.".
- 96032853 extent "viii, 446 p. :".
- 96032853 identifier "3540615873 (alk. paper)".
- 96032853 isPartOf "Lecture notes in computer science, 0302-9743 ; 1125".
- 96032853 issued "1996".
- 96032853 issued "c1996.".
- 96032853 language "eng".
- 96032853 publisher "Berlin ; New York : Springer,".
- 96032853 subject "004/.01/5113 20".
- 96032853 subject "Automatic theorem proving Congresses.".
- 96032853 subject "QA76.9.A96 I577 1996".
- 96032853 title "Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison, eds.".
- 96032853 type "text".