Matches in Library of Congress for { <http://lccn.loc.gov/99047217> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 99047217 contributor B8671059.
- 99047217 contributor B8671060.
- 99047217 created "c1999.".
- 99047217 date "1999".
- 99047217 date "c1999.".
- 99047217 dateCopyrighted "c1999.".
- 99047217 description "Includes bibliographical references.".
- 99047217 extent "xii, 395 p. :".
- 99047217 identifier "3540664920 (softcover : acid-free paper)".
- 99047217 identifier 99047217-d.html.
- 99047217 isPartOf "Lecture notes in computer science ; 1705. Lecture notes in artificial intelligence".
- 99047217 isPartOf "Lecture notes in computer science ; 1705.".
- 99047217 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 99047217 issued "1999".
- 99047217 issued "c1999.".
- 99047217 language "eng".
- 99047217 publisher "Berlin ; New York : Springer,".
- 99047217 subject "005.1/15 21".
- 99047217 subject "Automatic theorem proving Congresses.".
- 99047217 subject "Logic programming Congresses.".
- 99047217 subject "QA76.63 .L73 1999".
- 99047217 title "Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov, (eds.).".
- 99047217 type "text".