Matches in Library of Congress for { <http://lccn.loc.gov/85622838> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 85622838 contributor B5088396.
- 85622838 created "[1985]".
- 85622838 date "1985".
- 85622838 date "[1985]".
- 85622838 dateCopyrighted "[1985]".
- 85622838 description "Bibliography: p. 50-58.".
- 85622838 extent "58 p. ;".
- 85622838 isPartOf "Report (University of Illinois at Urbana-Champaign. Department of Computer Science) ; no. UIUCDCS-R-85-1220.".
- 85622838 isPartOf "Report / Department of Computer Science, University of Illinois at Urbana-Champaign ; no. UIUCDCS-R-85-1220".
- 85622838 issued "1985".
- 85622838 issued "[1985]".
- 85622838 language "eng".
- 85622838 publisher "Urbana, Ill. (1304 W. Springfield, Urbana 61801) : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 85622838 subject "Automatic theorem proving.".
- 85622838 subject "Ordered sets.".
- 85622838 subject "QA76 .I4 no. 1220 QA76.9.A96".
- 85622838 subject "Rewriting systems (Computer science)".
- 85622838 title "Termination of rewriting / Nachum Dershowitz.".
- 85622838 type "text".