Login / Signup
Kevin de Fontes
Publication Activity (10 Years)
Years Active: 1989-1989
Publications (10 Years): 0
</>
Publications
</>
Joseph S. Fulda
,
Kevin de Fontes
meaningfulness measure and resolution theorem proving.
J. Exp. Theor. Artif. Intell.
1 (3) (1989)