Matches in Library of Congress for { <http://lccn.loc.gov/2002036467> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2002036467 contributor B9229821.
- 2002036467 contributor B9229822.
- 2002036467 created "c2002.".
- 2002036467 date "2002".
- 2002036467 date "c2002.".
- 2002036467 dateCopyrighted "c2002.".
- 2002036467 description "Includes bibliographical references and index.".
- 2002036467 extent "xiii, 463 p. :".
- 2002036467 identifier "3540000100 (softcover : alk. paper)".
- 2002036467 identifier 2002036467-d.html.
- 2002036467 isPartOf "Lecture notes in computer science ; 2514. Lecture notes in artificial intelligence".
- 2002036467 isPartOf "Lecture notes in computer science ; 2514.".
- 2002036467 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2002036467 issued "2002".
- 2002036467 issued "c2002.".
- 2002036467 language "eng".
- 2002036467 publisher "Berlin ; New York : Springer,".
- 2002036467 subject "006.3 21".
- 2002036467 subject "Artificial intelligence Congresses.".
- 2002036467 subject "Automatic theorem proving Congresses.".
- 2002036467 subject "Logic programming Congresses.".
- 2002036467 subject "QA76.63 .L735 2002".
- 2002036467 title "Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / Matthias Baaz, Andrei Voronkov (eds.).".
- 2002036467 type "text".