Matches in Library of Congress for { <http://lccn.loc.gov/2006934988> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2006934988 alternative "LPAR 2006".
- 2006934988 contributor B10744469.
- 2006934988 contributor B10744470.
- 2006934988 created "c2006.".
- 2006934988 date "2006".
- 2006934988 date "c2006.".
- 2006934988 dateCopyrighted "c2006.".
- 2006934988 description "Includes bibliographical references and index.".
- 2006934988 extent "xiii, 588 p. :".
- 2006934988 identifier "3540482814 (pbk.)".
- 2006934988 identifier "9783540482819 (pbk.)".
- 2006934988 identifier 2006934988-d.html.
- 2006934988 identifier 2006934988.html.
- 2006934988 isPartOf "Lecture notes in computer science 4246.".
- 2006934988 isPartOf "Lecture notes in computer science, 0302-9743 ; 4246. Lecture notes in artificial intelligence".
- 2006934988 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence".
- 2006934988 issued "2006".
- 2006934988 issued "c2006.".
- 2006934988 language "eng".
- 2006934988 publisher "Berlin ; New York : Springer,".
- 2006934988 subject "006.3 22".
- 2006934988 subject "Artificial intelligence Congresses.".
- 2006934988 subject "Automatic theorem proving Congresses.".
- 2006934988 subject "Logic programming Congresses.".
- 2006934988 subject "QA76.63 .L735 2006".
- 2006934988 title "LPAR 2006".
- 2006934988 title "Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings / Miki Hermann, Andrei Voronkov (eds.).".
- 2006934988 type "text".