Matches in Library of Congress for { <http://lccn.loc.gov/2003060201> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2003060201 contributor B9551302.
- 2003060201 contributor B9551303.
- 2003060201 created "c2003.".
- 2003060201 date "2003".
- 2003060201 date "c2003.".
- 2003060201 dateCopyrighted "c2003.".
- 2003060201 description "Includes bibliographical references and index.".
- 2003060201 extent "x, 270 p. :".
- 2003060201 identifier "3540407871 (softcover : alk. paper)".
- 2003060201 identifier 2003060201-d.html.
- 2003060201 isPartOf "Lecture notes in computer science ; 2796. Lecture notes in artificial intelligence.".
- 2003060201 isPartOf "Lecture notes in computer science ; 2796.".
- 2003060201 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2003060201 issued "2003".
- 2003060201 issued "c2003.".
- 2003060201 language "eng".
- 2003060201 publisher "Berlin ; New York : Springer,".
- 2003060201 subject "006.3 22".
- 2003060201 subject "Automatic theorem proving Congresses.".
- 2003060201 subject "QA76.9.A96 T33 2003".
- 2003060201 title "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings / Marta Cialdea Mayer, Fiora Pirri (eds.)".
- 2003060201 type "text".