Matches in Library of Congress for { <http://lccn.loc.gov/00053786> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 00053786 contributor B47630.
- 00053786 contributor B47631.
- 00053786 created "2000.".
- 00053786 date "2000".
- 00053786 date "2000.".
- 00053786 dateCopyrighted "2000.".
- 00053786 description "Includes bibliographical references and index.".
- 00053786 extent "xiii, 486 p. :".
- 00053786 identifier "3540412859 (softcover : alk. paper)".
- 00053786 identifier 00053786-d.html.
- 00053786 isPartOf "Lecture notes in computer science ; 1955. Lecture notes in artificial intelligence".
- 00053786 isPartOf "Lecture notes in computer science ; 1955.".
- 00053786 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 00053786 issued "2000".
- 00053786 issued "2000.".
- 00053786 language "eng".
- 00053786 publisher "Berlin ; New York : Springer,".
- 00053786 subject "005.1/15 21".
- 00053786 subject "Automatic theorem proving Congresses.".
- 00053786 subject "Logic programming Congresses.".
- 00053786 subject "QA76.63 .L735 2000".
- 00053786 title "Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).".
- 00053786 type "text".