Matches in Library of Congress for { <http://lccn.loc.gov/2011930102> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2011930102 alternative "TABLEAUX 2011".
- 2011930102 contributor B12417916.
- 2011930102 contributor B12417917.
- 2011930102 created "c2011.".
- 2011930102 date "2011".
- 2011930102 date "c2011.".
- 2011930102 dateCopyrighted "c2011.".
- 2011930102 description "Includes bibliographical references and author index.".
- 2011930102 extent "xii, 277 p. :".
- 2011930102 identifier "3642221181 (pbk. : alk. paper)".
- 2011930102 identifier "9783642221187 (pbk. : alk. paper)".
- 2011930102 identifier "9783642221194 (e-ISBN)".
- 2011930102 isPartOf "LNCS sublibrary. SL 7, Artificial intelligence".
- 2011930102 isPartOf "LNCS sublibrary. SL 7, Artificial intelligence.".
- 2011930102 isPartOf "Lecture notes in computer science ; 6793.".
- 2011930102 isPartOf "Lecture notes in computer science, 0302-9743 ; 6793. Lecture notes in artificial intelligence".
- 2011930102 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2011930102 issued "2011".
- 2011930102 issued "c2011.".
- 2011930102 language "eng".
- 2011930102 publisher "Berlin ; New York : Springer,".
- 2011930102 subject "511.3/6028563 23".
- 2011930102 subject "Automatic theorem proving Congresses.".
- 2011930102 subject "QA76.9.A96 T33 2011".
- 2011930102 title "Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / Kai Brünnler, George Metcalfe (eds.)".
- 2011930102 title "TABLEAUX 2011".
- 2011930102 type "text".