Matches in Library of Congress for { <http://lccn.loc.gov/2010939948> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2010939948 contributor B12097319.
- 2010939948 contributor B12097320.
- 2010939948 created "2010.".
- 2010939948 date "2010".
- 2010939948 date "2010.".
- 2010939948 dateCopyrighted "2010.".
- 2010939948 description "Includes bibliographical references and index.".
- 2010939948 extent "x, 516 p. :".
- 2010939948 hasFormat "Also issued online.".
- 2010939948 identifier "3642175104 (pbk. : acid-free paper)".
- 2010939948 identifier "9783642175107 (pbk. : acid-free paper)".
- 2010939948 isFormatOf "Also issued online.".
- 2010939948 isPartOf "LNCS sublibrary. SL 7, Artificial intelligence".
- 2010939948 isPartOf "LNCS sublibrary. SL 7, Artificial intelligence.".
- 2010939948 isPartOf "Lecture notes in artificial intelligence".
- 2010939948 isPartOf "Lecture notes in computer science ; 6355.".
- 2010939948 isPartOf "Lecture notes in computer science, 0302-9743 ; 6355".
- 2010939948 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2010939948 issued "2010".
- 2010939948 issued "2010.".
- 2010939948 language "eng".
- 2010939948 publisher "Berlin ; New York : Springer,".
- 2010939948 relation "Also issued online.".
- 2010939948 subject "006.3 23".
- 2010939948 subject "Artificial intelligence Congresses.".
- 2010939948 subject "Automatic theorem proving Congresses.".
- 2010939948 subject "Logic programming Congresses.".
- 2010939948 subject "QA76.63 .L73 2010".
- 2010939948 title "Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / Edmund M. Clarke, Andrei Voronkov (eds.).".
- 2010939948 type "text".