Login / Signup
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs.
Gérard Ferrand
Pierre Deransart
Published in:
J. Log. Program. (1993)
Keyphrases
</>
database
artificial intelligence
general purpose