Matches in Library of Congress for { <http://lccn.loc.gov/79624277> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 79624277 contributor B3704280.
- 79624277 created "1979.".
- 79624277 date "1979".
- 79624277 date "1979.".
- 79624277 dateCopyrighted "1979.".
- 79624277 description "Includes bibliographical references.".
- 79624277 extent "2 v. ;".
- 79624277 isPartOf "Illinois. University at Urbana-Champaign. Department of Computer Science. Report ; 961, etc.".
- 79624277 isPartOf "[Report] - UIUCDCS-R-79 ; 961,965".
- 79624277 issued "1979".
- 79624277 issued "1979.".
- 79624277 language "eng".
- 79624277 publisher "Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 79624277 subject "001.64 s 511.3".
- 79624277 subject "Automatic theorem proving.".
- 79624277 subject "Predicate calculus.".
- 79624277 subject "QA76 .I4 no. 961, etc. QA76.9.A96".
- 79624277 title "Theorem proving with abstraction / by David A. Plaisted.".
- 79624277 type "text".