Matches in Library of Congress for { <http://lccn.loc.gov/2002026689> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2002026689 contributor B9219926.
- 2002026689 contributor B9219927.
- 2002026689 created "c2002.".
- 2002026689 date "2002".
- 2002026689 date "c2002.".
- 2002026689 dateCopyrighted "c2002.".
- 2002026689 description "Includes bibliographical references and index.".
- 2002026689 extent "x, 339 p. :".
- 2002026689 identifier "3540439293 (softcover : alk. paper)".
- 2002026689 identifier 2002026689-d.html.
- 2002026689 isPartOf "Lecture notes in computer science ; 2381. Lecture notes in artificial intelligence".
- 2002026689 isPartOf "Lecture notes in computer science ; 2381.".
- 2002026689 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2002026689 issued "2002".
- 2002026689 issued "c2002.".
- 2002026689 language "eng".
- 2002026689 publisher "Berlin ; New York : Springer,".
- 2002026689 subject "006.3/33 21".
- 2002026689 subject "Automatic theorem proving Congresses.".
- 2002026689 subject "QA76.9.A96 T33 2002".
- 2002026689 title "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.).".
- 2002026689 type "text".