Matches in Library of Congress for { <http://lccn.loc.gov/2003061048> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2003061048 contributor B9552237.
- 2003061048 contributor B9552238.
- 2003061048 created "c2003.".
- 2003061048 date "2003".
- 2003061048 date "c2003.".
- 2003061048 dateCopyrighted "c2003.".
- 2003061048 description "Includes bibliographical references and index.".
- 2003061048 extent "xiii, 436 p. :".
- 2003061048 identifier "3540201017 (pbk.)".
- 2003061048 identifier 2003061048-d.html.
- 2003061048 isPartOf "Lecture notes in computer science ; 2850. Lecture notes in artificial intelligence".
- 2003061048 isPartOf "Lecture notes in computer science ; 2850.".
- 2003061048 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2003061048 issued "2003".
- 2003061048 issued "c2003.".
- 2003061048 language "eng".
- 2003061048 publisher "Berlin ; New York : Springer,".
- 2003061048 subject "006.3 22".
- 2003061048 subject "Automatic theorem proving Congresses.".
- 2003061048 subject "Logic programming Congresses.".
- 2003061048 subject "QA76.63 .L735 2003".
- 2003061048 title "Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Andrei Voronkov, eds.".
- 2003061048 type "text".