Matches in Library of Congress for { <http://lccn.loc.gov/81149237> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 81149237 contributor B4034927.
- 81149237 created "1980.".
- 81149237 date "1980".
- 81149237 date "1980.".
- 81149237 dateCopyrighted "1980.".
- 81149237 description "Bibliography: p. [229]-233.".
- 81149237 extent "xi, 239 p. ;".
- 81149237 identifier "0387102310 (U.S. : pbk.)".
- 81149237 isPartOf "Lecture notes in computer science ; 90".
- 81149237 issued "1980".
- 81149237 issued "1980.".
- 81149237 language "eng".
- 81149237 publisher "Berlin ; New York : Springer-Verlag,".
- 81149237 subject "511.3 19".
- 81149237 subject "Automatic theorem proving.".
- 81149237 subject "Mathematics Data processing.".
- 81149237 subject "QA76.9.A96 S36 1980".
- 81149237 title "Using sophisticated models in resolution theorem proving / David M. Sandford.".
- 81149237 type "text".