Steven K. Winker

Publication Activity (10 Years)

Years Active: 1976-1982
Publications (10 Years): 0

Publications

Steven K. Winker, Larry Wos
Procedure Implementation Through Demodulation and Related Tricks. CADE (1982)
Larry Wos, Steven K. Winker, Ewing L. Lusk
An automated reasoning system. AFIPS National Computer Conference (1981)
Steven K. Winker
An Evaluation of an Implementation of Qualified Hyperresolution. IEEE Trans. Computers 25 (8) (1976)