Matches in Library of Congress for { <http://lccn.loc.gov/93243523> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 93243523 contributor B7107304.
- 93243523 contributor B7107305.
- 93243523 created "c1993.".
- 93243523 date "1993".
- 93243523 date "c1993.".
- 93243523 dateCopyrighted "c1993.".
- 93243523 description "Includes bibliographical references.".
- 93243523 extent "xiii, 386 p. :".
- 93243523 identifier "0387569448 (New York : acid-free paper)".
- 93243523 identifier "3540569448 (Berlin : acid-free paper".
- 93243523 identifier 93243523-d.html.
- 93243523 isPartOf "Lecture notes in computer science ; 698. Lecture notes in artificial intelligence".
- 93243523 isPartOf "Lecture notes in computer science ; 698.".
- 93243523 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 93243523 issued "1993".
- 93243523 issued "c1993.".
- 93243523 language "eng".
- 93243523 publisher "Berlin ; New York : Springer-Verlag,".
- 93243523 subject "006.3 20".
- 93243523 subject "Automatic theorem proving Congresses.".
- 93243523 subject "Logic programming Congresses.".
- 93243523 subject "QA76.63 .L73 1993".
- 93243523 title "Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / A. Voronkov, ed.".
- 93243523 type "text".