Login / Signup
Deena A. Koniver
Publication Activity (10 Years)
Years Active: 1971-1971
Publications (10 Years): 0
</>
Publications
</>
James R. Slagle
,
Deena A. Koniver
Finding resolution proofs and using duplicate goals in and/or trees.
Inf. Sci.
3 (4) (1971)