Matches in Library of Congress for { <http://lccn.loc.gov/2010935496> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2010935496 contributor B12094581.
- 2010935496 contributor B12094582.
- 2010935496 created "2010.".
- 2010935496 date "2010".
- 2010935496 date "2010.".
- 2010935496 dateCopyrighted "2010.".
- 2010935496 description "Includes bibliographical references and index.".
- 2010935496 extent "xii, 656 p. :".
- 2010935496 hasFormat "Also issued online.".
- 2010935496 identifier "364216241X".
- 2010935496 identifier "9783642162411".
- 2010935496 identifier 2010935496-d.html.
- 2010935496 isFormatOf "Also issued online.".
- 2010935496 isPartOf "Advanced research in computing and software science".
- 2010935496 isPartOf "Lecture notes in computer science ; 6397.".
- 2010935496 isPartOf "Lecture notes in computer science, 0302-9743 ; 6397".
- 2010935496 isPartOf "Lecture notes in computer science. Advanced research in computing and software science.".
- 2010935496 issued "2010".
- 2010935496 issued "2010.".
- 2010935496 language "eng".
- 2010935496 publisher "Berlin ; New York : Springer,".
- 2010935496 relation "Also issued online.".
- 2010935496 subject "006.3 23".
- 2010935496 subject "Artificial intelligence Congresses.".
- 2010935496 subject "Automatic theorem proving Congresses.".
- 2010935496 subject "Logic programming Congresses.".
- 2010935496 subject "QA76.63 .L735 2010".
- 2010935496 title "Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / Christian G. Fermüller, Andrei Voronkov (eds.).".
- 2010935496 type "text".