Matches in Library of Congress for { <http://lccn.loc.gov/2007929030> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2007929030 alternative "TABLEAUX 2007".
- 2007929030 contributor B11060413.
- 2007929030 contributor B11060414.
- 2007929030 created "c2007.".
- 2007929030 date "2007".
- 2007929030 date "c2007.".
- 2007929030 dateCopyrighted "c2007.".
- 2007929030 description "Includes bibliographical references and index.".
- 2007929030 extent "x, 244 p. :".
- 2007929030 hasFormat "Also issued online.".
- 2007929030 identifier "3540730982 (softcover : alk. paper)".
- 2007929030 identifier "9783540730989 (softcover : alk. paper)".
- 2007929030 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4548.
- 2007929030 isFormatOf "Also issued online.".
- 2007929030 isPartOf "LNCS sublibrary. SL 7, Artificial intelligence".
- 2007929030 isPartOf "Lecture notes in computer science ; 4548.".
- 2007929030 isPartOf "Lecture notes in computer science, 0302-9743 ; 4548. Lecture notes in artificial intelligence".
- 2007929030 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2007929030 issued "2007".
- 2007929030 issued "c2007.".
- 2007929030 language "eng".
- 2007929030 publisher "Berlin ; New York : Springer,".
- 2007929030 relation "Also issued online.".
- 2007929030 subject "004.01/5113 22".
- 2007929030 subject "Automatic theorem proving Congresses.".
- 2007929030 subject "QA76.9.A96 T33 2007".
- 2007929030 title "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings / Nicola Olivetti (ed.).".
- 2007929030 title "TABLEAUX 2007".
- 2007929030 type "text".