Matches in Library of Congress for { <http://lccn.loc.gov/80621698> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 80621698 contributor B3923062.
- 80621698 created "[1979]".
- 80621698 date "1979".
- 80621698 date "[1979]".
- 80621698 dateCopyrighted "[1979]".
- 80621698 description "Includes bibliographical references.".
- 80621698 extent "8 p. ;".
- 80621698 isPartOf "Illinois. University at Urbana-Champaign. Department of Computer Science. Report ; 986.".
- 80621698 isPartOf "[Report] - UIUCDCS-R-79 ; 986".
- 80621698 issued "1979".
- 80621698 issued "[1979]".
- 80621698 language "eng".
- 80621698 publisher "Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 80621698 subject "001.64 s 511 19".
- 80621698 subject "Automatic theorem proving.".
- 80621698 subject "Computational complexity.".
- 80621698 subject "QA76 .I4 no. 986 QA76.9.A96".
- 80621698 title "A note on simplification orderings / Nachum Dershowitz.".
- 80621698 type "text".