Matches in Library of Congress for { <http://lccn.loc.gov/2002029204> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2002029204 contributor B9222710.
- 2002029204 contributor B9222711.
- 2002029204 created "c2002.".
- 2002029204 date "2002".
- 2002029204 date "c2002.".
- 2002029204 dateCopyrighted "c2002.".
- 2002029204 description "Includes bibliographical references and index.".
- 2002029204 extent "x, 347 p. :".
- 2002029204 identifier "3540440399 (pbk. : alk. paper)".
- 2002029204 identifier 2002029204-d.html.
- 2002029204 isPartOf "Lecture notes in computer science, 0302-9743 ; 2410. Lecture notes in artificial intelligence".
- 2002029204 isPartOf "Lecture notes in computer science, 2410.".
- 2002029204 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2002029204 issued "2002".
- 2002029204 issued "c2002.".
- 2002029204 language "eng".
- 2002029204 publisher "Berlin ; New York : Springer,".
- 2002029204 subject "004/.01/5113 21".
- 2002029204 subject "Automatic theorem proving Congresses.".
- 2002029204 subject "QA76.9.A96 T655 2002".
- 2002029204 title "Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings / Victor A. Carreño, César A. Muñoz, Sofiène Tahar, eds.".
- 2002029204 type "text".