Matches in Library of Congress for { <http://lccn.loc.gov/2008939396> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- 2008939396 contributor B11389024.
- 2008939396 contributor B11389025.
- 2008939396 date "2008".
- 2008939396 description "Includes bibliographical references and index.".
- 2008939396 extent "xiv, 714 pages :".
- 2008939396 identifier "3540894381 (pbk. : acid-free paper)".
- 2008939396 identifier "9783540894384 (pbk. : acid-free paper)".
- 2008939396 isPartOf "Lecture notes in computer science, 0302-9743 ; 5330. Lecture notes in artifical intelligence".
- 2008939396 issued "2008".
- 2008939396 language "eng".
- 2008939396 subject "Artificial intelligence Congresses.".
- 2008939396 subject "Automatic theorem proving Congresses.".
- 2008939396 subject "Logic programming Congresses.".
- 2008939396 subject "QA76.63 .L735 2008".
- 2008939396 title "Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.).".
- 2008939396 type "text".