Login / Signup
A Completeness Result for SLDNF-Resolution.
Karl Stroetmann
Published in:
J. Log. Program. (1993)
Keyphrases
</>
cooperative
case study
high level
computer science
expert systems
data quality