Daniel F. Carson

Publication Activity (10 Years)

Years Active: 1964-1967
Publications (10 Years): 0

Publications

Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla
The Concept of Demodulation in Theorem Proving. J. ACM 14 (4) (1967)
Larry Wos, George A. Robinson, Daniel F. Carson
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. J. ACM 12 (4) (1965)
Larry Wos, Daniel F. Carson, George A. Robinson
The unit preference strategy in theorem proving. AFIPS Fall Joint Computing Conference (1) (1964)