Matches in Library of Congress for { <http://lccn.loc.gov/79621024> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 79621024 contributor B3700431.
- 79621024 created "1978.".
- 79621024 date "1978".
- 79621024 date "1978.".
- 79621024 dateCopyrighted "1978.".
- 79621024 description "Bibliography: p. 53.".
- 79621024 extent "53 p. ;".
- 79621024 isPartOf "Illinois. University at Urbana-Champaign. Department of Computer Science. Report ; 943.".
- 79621024 isPartOf "[Report] - UIUCDCS-R-78 ; 943".
- 79621024 issued "1978".
- 79621024 issued "1978.".
- 79621024 language "eng".
- 79621024 publisher "Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 79621024 subject "001.6/4/08 s 001.6/42".
- 79621024 subject "Automatic theorem proving.".
- 79621024 subject "Computer programming.".
- 79621024 subject "QA76 .I4 no. 943 QA76.6".
- 79621024 subject "Recursion theory.".
- 79621024 subject "Rewriting systems (Computer science)".
- 79621024 title "A recursively defined ordering for proving termination of term rewriting systems / by David A. Plaisted.".
- 79621024 type "text".