Login / Signup
Huaiming Sun
Publication Activity (10 Years)
Years Active: 1992-1992
Publications (10 Years): 0
</>
Publications
</>
Huaiming Sun
,
Qun Liang
A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique.
IWAR
(1992)