Login / Signup
On Renaming a Set of Clauses as a Horn Set.
G. Lindhorst
Farhad Shahrokhi
Published in:
Inf. Process. Lett. (1989)
Keyphrases
</>
search engine
training data
probability distribution
multi objective
user defined
initial set