Matches in Library of Congress for { <http://lccn.loc.gov/92138832> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 92138832 contributor B6724570.
- 92138832 created "c1991.".
- 92138832 date "1991".
- 92138832 date "c1991.".
- 92138832 dateCopyrighted "c1991.".
- 92138832 description "Includes bibliographical references (p. [101]-109) and indexes.".
- 92138832 extent "x, 116 p. :".
- 92138832 identifier "0387550348 (U.S. : alk. paper)".
- 92138832 identifier "3540550348 (Berlin : alk. paper)".
- 92138832 identifier 92138832-d.html.
- 92138832 isPartOf "Lecture notes in computer science ; 568.".
- 92138832 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 92138832 isPartOf "Lecture notes in computer science; 568. Lecture notes in artificial intelligence".
- 92138832 issued "1991".
- 92138832 issued "c1991.".
- 92138832 language "eng".
- 92138832 publisher "Berlin ; New York : Springer-Verlag,".
- 92138832 subject "006.3 20".
- 92138832 subject "Automatic theorem proving.".
- 92138832 subject "Logic, Symbolic and mathematical.".
- 92138832 subject "QA76.9.A96 B87 1991".
- 92138832 title "A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert.".
- 92138832 type "text".