Login / Signup
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets.
James R. Slagle
Published in:
J. ACM (1972)
Keyphrases
</>
partial ordering
automatic theorem proving
total ordering
partially ordered
partial order
fixed number
data mining
information retrieval
multi dimensional
theoretical framework
scoring function
totally ordered