The Resource Inference rules for unsatisfiability, by David A. Plaisted

Inference rules for unsatisfiability, by David A. Plaisted

Label
Inference rules for unsatisfiability
Title
Inference rules for unsatisfiability
Statement of responsibility
by David A. Plaisted
Creator
Contributor
Subject
Language
eng
Related
Member of
Cataloging source
UIU
http://library.link/vocab/creatorName
Plaisted, David A
Government publication
government publication of a state province territory dependency etc
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
University of Illinois at Urbana-Champaign
Series statement
Report
Series volume
955
http://library.link/vocab/subjectName
  • Propositional calculus
  • Polynomials
  • Inference
Label
Inference rules for unsatisfiability, by David A. Plaisted
Link
https://archive.org/details/inferencerulesfo955plai
Instantiates
Publication
Note
UIUCDCS-R-79-955
Bibliography note
Includes bibliographical references (page 18)
Extent
1 online resource (18 pages)
Form of item
online
Specific material designation
remote
Label
Inference rules for unsatisfiability, by David A. Plaisted
Link
https://archive.org/details/inferencerulesfo955plai
Publication
Note
UIUCDCS-R-79-955
Bibliography note
Includes bibliographical references (page 18)
Extent
1 online resource (18 pages)
Form of item
online
Specific material designation
remote

Library Locations

  • Internet ArchiveBorrow it
    300 Funston Ave, San Francisco, CA, 94118, US
    37.7823215 -122.4716373

Library Links

Processing Feedback ...