Matches in Library of Congress for { <http://lccn.loc.gov/91025004> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 91025004 contributor B6377769.
- 91025004 created "c1991.".
- 91025004 date "1991".
- 91025004 date "c1991.".
- 91025004 dateCopyrighted "c1991.".
- 91025004 description "Includes bibliographical references (p. [128]-133).".
- 91025004 extent "viii, 133 p. :".
- 91025004 identifier "0387543333 (New York : acid-free paper)".
- 91025004 identifier "3540543333 (Berlin : acid-free paper)".
- 91025004 identifier 91025004-d.html.
- 91025004 isPartOf "Lecture notes in computer science ; 518. Lecture notes in artificial intelligence".
- 91025004 isPartOf "Lecture notes in computer science ; 518.".
- 91025004 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 91025004 issued "1991".
- 91025004 issued "c1991.".
- 91025004 language "eng".
- 91025004 publisher "Berlin ; New York : Springer-Verlag,".
- 91025004 subject "511.3 20".
- 91025004 subject "Automatic theorem proving.".
- 91025004 subject "QA76.9.A96 W55 1991".
- 91025004 title "Instantiation theory : on the foundations of automated deduction / J.G. Williams.".
- 91025004 type "text".