Introduction Tutorial on Resolution

Lawrence Joseph Henschen

doi:10.1109/TC.1976.1674695

Introduction Tutorial on Resolution

Lawrence Joseph Henschen^*

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	769-772
Number of pages	4
Journal	IEEE Transactions on Computers
Volume	C-25
Issue number	8
DOIs	https://doi.org/10.1109/TC.1976.1674695
State	Published - Aug 1976

ASJC Scopus subject areas

Software
Theoretical Computer Science
Hardware and Architecture
Computational Theory and Mathematics

Access to Document

10.1109/TC.1976.1674695

Cite this

@article{acd62802651745ca84b06983fc376f5c,

title = "Introduction Tutorial on Resolution",

author = "Henschen, {Lawrence Joseph}",

year = "1976",

month = aug,

doi = "10.1109/TC.1976.1674695",

language = "English (US)",

volume = "C-25",

pages = "769--772",

journal = "IEEE Transactions on Computers",

issn = "0018-9340",

publisher = "IEEE Computer Society",

number = "8",

}

TY - JOUR

T1 - Introduction Tutorial on Resolution

AU - Henschen, Lawrence Joseph

PY - 1976/8

Y1 - 1976/8

UR - http://www.scopus.com/inward/record.url?scp=84938449991&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84938449991&partnerID=8YFLogxK

U2 - 10.1109/TC.1976.1674695

DO - 10.1109/TC.1976.1674695

M3 - Article

AN - SCOPUS:84938449991

SN - 0018-9340

VL - C-25

SP - 769

EP - 772

JO - IEEE Transactions on Computers

JF - IEEE Transactions on Computers

IS - 8

ER -

Introduction Tutorial on Resolution

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this