Matches in Library of Congress for { <http://lccn.loc.gov/2010929611> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2010929611 alternative "IJCAR 2010".
- 2010929611 contributor B12090765.
- 2010929611 contributor B12090766.
- 2010929611 created "c2010.".
- 2010929611 date "2010".
- 2010929611 date "c2010.".
- 2010929611 dateCopyrighted "c2010.".
- 2010929611 description "Includes bibliographical references and index.".
- 2010929611 extent "xii, 534 p. :".
- 2010929611 identifier "3642142028".
- 2010929611 identifier "9783642142024".
- 2010929611 identifier 2010929611-d.html.
- 2010929611 isPartOf "LNCS sublibrary. SL 7, Artificial intelligence".
- 2010929611 isPartOf "LNCS sublibrary. SL 7, Artificial intelligence.".
- 2010929611 isPartOf "Lecture notes in computer science ; 6173.".
- 2010929611 isPartOf "Lecture notes in computer science, 0302-9743 ; 6173. Lecture notes in artificial intelligence".
- 2010929611 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2010929611 issued "2010".
- 2010929611 issued "c2010.".
- 2010929611 language "eng".
- 2010929611 publisher "Berlin : New York : Springer,".
- 2010929611 subject "Automatic theorem proving Congresses.".
- 2010929611 subject "Computer logic Congresses.".
- 2010929611 subject "QA76.9.A96 I38 2010".
- 2010929611 title "Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / Jürgen Giesl, Reiner Hähnle (eds.)".
- 2010929611 title "IJCAR 2010".
- 2010929611 type "text".