Login / Signup
Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs.
K. Aspetsberger
Published in:
European Conference on Computer Algebra (2) (1985)
Keyphrases
</>
horn clauses
logic programs
learning algorithm
facial expressions
general purpose