Matches in Library of Congress for { <http://lccn.loc.gov/00055602> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 00055602 contributor B49682.
- 00055602 contributor B49683.
- 00055602 created "2000.".
- 00055602 date "2000".
- 00055602 date "2000.".
- 00055602 dateCopyrighted "2000.".
- 00055602 description "Includes bibliographical references and index.".
- 00055602 extent "x, 440 p. :".
- 00055602 identifier "354067697X (softcover : alk. paper)".
- 00055602 identifier 00055602-d.html.
- 00055602 isPartOf "Lecture notes in computer science ; 1847. Lecture notes in artificial intelligence".
- 00055602 isPartOf "Lecture notes in computer science ; 1847.".
- 00055602 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 00055602 issued "2000".
- 00055602 issued "2000.".
- 00055602 language "eng".
- 00055602 publisher "Berlin ; New York : Springer,".
- 00055602 subject "006.3/33 21".
- 00055602 subject "Automatic theorem proving Congresses.".
- 00055602 subject "QA76.9.A96 T33 2000".
- 00055602 title "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.).".
- 00055602 type "text".