Matches in Library of Congress for { <http://lccn.loc.gov/98039442> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 98039442 contributor B8361803.
- 98039442 contributor B8361804.
- 98039442 created "c1998.".
- 98039442 date "1998".
- 98039442 date "c1998.".
- 98039442 dateCopyrighted "c1998.".
- 98039442 description "Includes bibliographical references and index.".
- 98039442 extent "viii, 496 p. :".
- 98039442 identifier "3540649875 (softcover : alk. paper)".
- 98039442 identifier 98039442-d.html.
- 98039442 isPartOf "Lecture notes in computer science, 0302-9743 ; 11479".
- 98039442 issued "1998".
- 98039442 issued "c1998.".
- 98039442 language "eng".
- 98039442 publisher "Berlin ; New York : Springer,".
- 98039442 subject "004/.01/5113 21".
- 98039442 subject "Automatic theorem proving Congresses.".
- 98039442 subject "Logic, Symbolic and mathematical Congresses.".
- 98039442 subject "QA76.9.A96 T655 1998".
- 98039442 title "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey, (eds.).".
- 98039442 type "text".