Matches in Library of Congress for { <http://lccn.loc.gov/79622689> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 79622689 alternative "Unsatisfiability.".
- 79622689 contributor B3702417.
- 79622689 created "1979.".
- 79622689 date "1979".
- 79622689 date "1979.".
- 79622689 dateCopyrighted "1979.".
- 79622689 description "Includes bibliographical references.".
- 79622689 extent "18 p. ;".
- 79622689 isPartOf "Illinois. University at Urbana-Champaign. Department of Computer Science. Report ; 955.".
- 79622689 isPartOf "UIUCDCS-R ; 955".
- 79622689 issued "1979".
- 79622689 issued "1979.".
- 79622689 language "eng".
- 79622689 publisher "Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 79622689 subject "001.6/4/08 s 511/.3".
- 79622689 subject "Inference.".
- 79622689 subject "Polynomials.".
- 79622689 subject "Propositional calculus.".
- 79622689 subject "QA76 .I4 no. 955 QA9.3".
- 79622689 title "Inference rules for unsatisfiability / by David A. Plaisted.".
- 79622689 type "text".