Matches in Library of Congress for { <http://lccn.loc.gov/92021886> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 92021886 contributor B6636991.
- 92021886 contributor B6636992.
- 92021886 created "c1992.".
- 92021886 date "1992".
- 92021886 date "c1992.".
- 92021886 dateCopyrighted "c1992.".
- 92021886 description "Includes bibliographical references.".
- 92021886 extent "xiv, 509 p. :".
- 92021886 identifier "038755727X (New York : acid-free paper)".
- 92021886 identifier "354055727X (Berlin : acid-free paper)".
- 92021886 identifier 92021886-d.html.
- 92021886 isPartOf "Lecture notes in computer science ; 624. Lecture notes in artificial intelligence".
- 92021886 isPartOf "Lecture notes in computer science ; 624.".
- 92021886 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 92021886 issued "1992".
- 92021886 issued "c1992.".
- 92021886 language "eng".
- 92021886 publisher "Berlin ; New York : Springer-Verlag,".
- 92021886 subject "006.3 20".
- 92021886 subject "Automatic theorem proving Congresses.".
- 92021886 subject "Logic programming Congresses.".
- 92021886 subject "QA76.63 .I55 1992".
- 92021886 title "Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed.".
- 92021886 type "text".