Matches in Library of Congress for { <http://lccn.loc.gov/99044586> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 99044586 contributor B8668165.
- 99044586 contributor B8668166.
- 99044586 created "c1999.".
- 99044586 date "1999".
- 99044586 date "c1999.".
- 99044586 dateCopyrighted "c1999.".
- 99044586 description "Includes bibliographical references and index.".
- 99044586 extent "viii, 358 p. :".
- 99044586 identifier "3540664637 (softcover : alk. paper)".
- 99044586 identifier 99044586-d.html.
- 99044586 isPartOf "Lecture notes in computer science, 0302-9743 ; 1690".
- 99044586 issued "1999".
- 99044586 issued "c1999.".
- 99044586 language "eng".
- 99044586 publisher "Berlin ; New York : Springer,".
- 99044586 subject "004/.01/5113 21".
- 99044586 subject "Automatic theorem proving Congresses.".
- 99044586 subject "QA76.9.A96 T655 1999".
- 99044586 title "Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings / Yves Bertot ... [et al.] (eds.)".
- 99044586 type "text".