Matches in Library of Congress for { <http://lccn.loc.gov/87621775> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 87621775 contributor B5568930.
- 87621775 created "c1986.".
- 87621775 date "1986".
- 87621775 date "c1986.".
- 87621775 dateCopyrighted "c1986.".
- 87621775 description "Bibliography: p. 243-247.".
- 87621775 extent "viii, 248 p. ;".
- 87621775 isPartOf "Report (University of Illinois at Urbana-Champaign. Department of Computer Science) ; no. UIUCDCS-R-86-1298.".
- 87621775 isPartOf "Report / Department of Computer Science, University of Illinois at Urbana-Champaign ; no. UIUCDCS-R-86-1298".
- 87621775 issued "1986".
- 87621775 issued "c1986.".
- 87621775 language "eng".
- 87621775 publisher "Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 87621775 subject "004 s 511.3 19".
- 87621775 subject "Automatic theorem proving.".
- 87621775 subject "Logic, Symbolic and mathematical.".
- 87621775 subject "QA76 .I4 no. 1298 QA76.9.A96".
- 87621775 title "Input transformations and resolution implementation techniques for theorem proving in first-order logic / by Steven Greenbaum.".
- 87621775 type "text".