Matches in Library of Congress for { <http://lccn.loc.gov/2005931930> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2005931930 alternative "TABLEAUX 2005".
- 2005931930 contributor B10399576.
- 2005931930 contributor B10399577.
- 2005931930 created "c2005.".
- 2005931930 date "2005".
- 2005931930 date "c2005.".
- 2005931930 dateCopyrighted "c2005.".
- 2005931930 description "Includes bibliographical references and index.".
- 2005931930 extent "xiii, 342 p. :".
- 2005931930 hasFormat "Also issued online.".
- 2005931930 identifier "3540289313 (pbk.)".
- 2005931930 identifier "9783540289319".
- 2005931930 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3702.
- 2005931930 identifier 2005931930-d.html.
- 2005931930 isFormatOf "Also issued online.".
- 2005931930 isPartOf "Lecture notes in computer science ; 3702.".
- 2005931930 isPartOf "Lecture notes in computer science, 0302-9743 ; 3702. Lecture notes in artificial intelligence".
- 2005931930 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2005931930 issued "2005".
- 2005931930 issued "c2005.".
- 2005931930 language "eng".
- 2005931930 publisher "Berlin ; New York : Springer,".
- 2005931930 relation "Also issued online.".
- 2005931930 subject "006.3 22".
- 2005931930 subject "Automatic theorem proving Congresses.".
- 2005931930 subject "QA76.9.A96 T33 2005".
- 2005931930 title "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.).".
- 2005931930 title "TABLEAUX 2005".
- 2005931930 type "text".