Login / Signup
Vladimir S. Neiman
Publication Activity (10 Years)
Years Active: 1988-1991
Publications (10 Years): 0
</>
Publications
</>
Vladimir S. Neiman
Deduction with Generalized Terms.
RCLP
(1991)
Vladimir S. Neiman
Refutation Search for Horn Sets by a Subgoal-Extraction Method.
J. Log. Program.
9 (2&3) (1990)
Vladimir S. Neiman
On the problem of reducing search in logic program execution.
Conference on Computer Logic
(1988)