Login / Signup
A. K. Smiley III
Publication Activity (10 Years)
Years Active: 1974-1974
Publications (10 Years): 0
</>
Publications
</>
S. Fleisig
,
Donald W. Loveland
,
A. K. Smiley III
,
D. L. Yarmush
An Implementation of the Model Elimination Proof Procedure.
J. ACM
21 (1) (1974)