Matches in Library of Congress for { <http://lccn.loc.gov/83623444> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 83623444 contributor B4598066.
- 83623444 created "[1983]".
- 83623444 date "1983".
- 83623444 date "[1983]".
- 83623444 dateCopyrighted "[1983]".
- 83623444 description "Bibliography: p. 120-125.".
- 83623444 extent "v leaves, 126 p. :".
- 83623444 isPartOf "Report (University of Illinois at Urbana-Champaign. Department of Computer Science) ; UIUCDCS-R-1113.".
- 83623444 isPartOf "UIUCDCS-R-1113".
- 83623444 issued "1983".
- 83623444 issued "[1983]".
- 83623444 language "eng".
- 83623444 publisher "Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 83623444 subject "001.64 s 511.3 19".
- 83623444 subject "Automatic theorem proving.".
- 83623444 subject "Computer programming.".
- 83623444 subject "QA76 .I4 no. 1113 QA76.9.A96".
- 83623444 title "Topics in automated theorem proving and program generation / by Jieh Hsiang.".
- 83623444 type "text".