Hakuluettelo:
Käännös:
Horn clause (suomeksi)
- Määritelmät:
- (lb, en, logic) A clause (disjunction of literals) with at most one positive literal.
Viimeisimmät haut: Horn clause, neelghaus, earthquake baroque, historicide, sheep ked, degrees of comparison