Matches in Library of Congress for { <http://lccn.loc.gov/2005936393> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2005936393 alternative "LPAR 2005".
- 2005936393 contributor B10402997.
- 2005936393 contributor B10402998.
- 2005936393 created "c2005.".
- 2005936393 date "2005".
- 2005936393 date "c2005.".
- 2005936393 dateCopyrighted "c2005.".
- 2005936393 description "Includes bibliographical references and index.".
- 2005936393 extent "xiv, 744 p. :".
- 2005936393 hasFormat "Also issued online.".
- 2005936393 identifier "354030553X (pbk.)".
- 2005936393 identifier "9783540305538".
- 2005936393 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3835.
- 2005936393 identifier 2005936393-d.html.
- 2005936393 identifier 2005936393.html.
- 2005936393 isFormatOf "Also issued online.".
- 2005936393 isPartOf "Lecture notes in computer science ; 3835.".
- 2005936393 isPartOf "Lecture notes in computer science, 0302-9743 ; 3835. Lecture notes in artificial intelligence".
- 2005936393 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2005936393 issued "2005".
- 2005936393 issued "c2005.".
- 2005936393 language "eng".
- 2005936393 publisher "Berlin ; New York : Springer,".
- 2005936393 relation "Also issued online.".
- 2005936393 subject "005.1/15 22".
- 2005936393 subject "Artificial intelligence Congresses.".
- 2005936393 subject "Automatic theorem proving Congresses.".
- 2005936393 subject "Logic programming Congresses.".
- 2005936393 subject "QA76.63 .L735 2005b".
- 2005936393 title "LPAR 2005".
- 2005936393 title "Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings / Geoff Sutcliffe, Andrei Voronkov (eds.).".
- 2005936393 type "text".