Matches in Library of Congress for { <http://lccn.loc.gov/2007937099> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2007937099 contributor B11066097.
- 2007937099 contributor B11066098.
- 2007937099 created "c2007.".
- 2007937099 date "2007".
- 2007937099 date "c2007.".
- 2007937099 dateCopyrighted "c2007.".
- 2007937099 description "Includes bibliographical references and index.".
- 2007937099 extent "xiii, 562 p. :".
- 2007937099 identifier "3540755586 (softcover : alk. paper)".
- 2007937099 identifier "9783540755586 (softcover : alk. paper)".
- 2007937099 identifier 2007937099-d.html.
- 2007937099 isPartOf "Lecture notes in artificial intelligence ; 4790".
- 2007937099 isPartOf "Lectures notes in computer science".
- 2007937099 issued "2007".
- 2007937099 issued "c2007.".
- 2007937099 language "eng".
- 2007937099 publisher "Berlin ; New York : Springer,".
- 2007937099 subject "006.3 22".
- 2007937099 subject "Artificial intelligence Congresses.".
- 2007937099 subject "Automatic theorem proving Congresses.".
- 2007937099 subject "Logic programming Congresses.".
- 2007937099 subject "QA76.63 .L735 2007".
- 2007937099 title "Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings / Nachum Dershowitz, Andrei Voronkov (eds.).".
- 2007937099 type "text".