Matches in Library of Congress for { <http://lccn.loc.gov/79650718> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 79650718 contributor B3708014.
- 79650718 created "1968.".
- 79650718 date "1968".
- 79650718 date "1968.".
- 79650718 dateCopyrighted "1968.".
- 79650718 description "Bibliography: leaf 23.".
- 79650718 extent "iii, 23 l.".
- 79650718 isPartOf "Illinois. University. Department of Computer Science. Report, no. 261.".
- 79650718 isPartOf "Illinois. University. Dept. of Computer Science. Report, no. 261".
- 79650718 issued "1968".
- 79650718 issued "1968.".
- 79650718 language "eng".
- 79650718 publisher "Urbana,".
- 79650718 subject "Automatic theorem proving.".
- 79650718 subject "Functions.".
- 79650718 subject "Mathematics Data processing.".
- 79650718 subject "QA76 .I4 no. 261".
- 79650718 title "Some new results on resolution in automated theorem proving, by Lawrence J. Henschen.".
- 79650718 type "text".