Matches in Library of Congress for { <http://lccn.loc.gov/00059577> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 00059577 contributor B54287.
- 00059577 contributor B54288.
- 00059577 created "c2000.".
- 00059577 date "2000".
- 00059577 date "c2000.".
- 00059577 dateCopyrighted "c2000.".
- 00059577 description "Includes bibliographical references and index.".
- 00059577 extent "ix, 533 p. :".
- 00059577 identifier "3540678638 (pbk. : alk. paper)".
- 00059577 identifier 00059577-d.html.
- 00059577 isPartOf "Lecture notes in computer science 0302-9743 ; 1869".
- 00059577 issued "2000".
- 00059577 issued "c2000.".
- 00059577 language "eng".
- 00059577 publisher "Berlin ; Heidelberg ; New York : Springer,".
- 00059577 subject "004/.01/5113 21".
- 00059577 subject "Automatic theorem proving Congresses.".
- 00059577 subject "QA76.9.A96 T655 2000".
- 00059577 title "Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.).".
- 00059577 type "text".