Matches in Library of Congress for { <http://lccn.loc.gov/79620560> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 79620560 contributor B3699880.
- 79620560 created "1978.".
- 79620560 date "1978".
- 79620560 date "1978.".
- 79620560 dateCopyrighted "1978.".
- 79620560 extent "34 p. ;".
- 79620560 isPartOf "Illinois. University at Urbana-Champaign. Department of Computer Science. Report ; 932.".
- 79620560 isPartOf "UIUCDCS-R-78 ; 932".
- 79620560 issued "1978".
- 79620560 issued "1978.".
- 79620560 language "eng".
- 79620560 publisher "Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 79620560 subject "001.6/4/08 s 001.6/425".
- 79620560 subject "Computer programs Verification.".
- 79620560 subject "Computr programs Termination.".
- 79620560 subject "QA76 .I4 no. 932 QA76.6".
- 79620560 subject "Recursive programming.".
- 79620560 title "Well-founded orderings for proving termination of systems of rewrite rules / by David A. Plaisted.".
- 79620560 type "text".