Matches in Library of Congress for { <http://lccn.loc.gov/2005921519> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2005921519 alternative "LPAR 2004".
- 2005921519 contributor B10391110.
- 2005921519 contributor B10391111.
- 2005921519 created "c2005.".
- 2005921519 date "2005".
- 2005921519 date "c2005.".
- 2005921519 dateCopyrighted "c2005.".
- 2005921519 description "Includes bibliographical references and index.".
- 2005921519 extent "xi, 562 p. :".
- 2005921519 hasFormat "Also issued online.".
- 2005921519 identifier "3540252363".
- 2005921519 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3452.
- 2005921519 identifier 2005921519-d.html.
- 2005921519 isFormatOf "Also issued online.".
- 2005921519 isPartOf "Lecture notes in computer science ; 3452.".
- 2005921519 isPartOf "Lecture notes in computer science, 0302-9743 ; 3452. Lecture notes in artificial intelligence".
- 2005921519 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2005921519 issued "2005".
- 2005921519 issued "c2005.".
- 2005921519 language "eng".
- 2005921519 publisher "Berlin ; New York : Springer,".
- 2005921519 relation "Also issued online.".
- 2005921519 subject "005.1/15 22".
- 2005921519 subject "Artificial intelligence Congresses.".
- 2005921519 subject "Automatic theorem proving Congresses.".
- 2005921519 subject "Logic programming Congresses.".
- 2005921519 subject "QA76.63 .L735 2005".
- 2005921519 title "LPAR 2004".
- 2005921519 title "Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baader, Andrei Voronkov (eds.).".
- 2005921519 type "text".