Matches in Library of Congress for { <http://lccn.loc.gov/2002283983> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2002283983 alternative "LPAR 2001".
- 2002283983 contributor B9282922.
- 2002283983 contributor B9282923.
- 2002283983 created "c2001.".
- 2002283983 date "2001".
- 2002283983 date "c2001.".
- 2002283983 dateCopyrighted "c2001.".
- 2002283983 description "Includes bibliographical references and index.".
- 2002283983 extent "xv, 738 p. :".
- 2002283983 identifier "3540429573".
- 2002283983 identifier 2002283983-d.html.
- 2002283983 isPartOf "Lecture notes in computer science ; 2250. Lecture notes in artificial intelligence".
- 2002283983 isPartOf "Lecture notes in computer science ; 2250.".
- 2002283983 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2002283983 issued "2001".
- 2002283983 issued "c2001.".
- 2002283983 language "eng".
- 2002283983 publisher "Berlin ; New York : Springer,".
- 2002283983 subject "006.3 21".
- 2002283983 subject "Artificial intelligence Congresses.".
- 2002283983 subject "Automatic theorem proving Congresses.".
- 2002283983 subject "Logic programming Congresses.".
- 2002283983 subject "QA76.63 .L735 2001".
- 2002283983 title "LPAR 2001".
- 2002283983 title "Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.).".
- 2002283983 type "text".