Sign in
Seppo Keronen
Publication Activity (10 Years)
Years Active: 1992-1993
Publications (10 Years): 0
</>
Publications
</>
Seppo Keronen
Non-Procedural Logic Programming.
ELP
(1993)
Seppo Keronen
Natural Deduction Proof Theory for Logic Programming.
ELP
(1992)