Login / Signup
An Extension of Unification to Substitution with an Application to Automatic Theorem Proving.
J. van Vaalen
Published in:
IJCAI (1975)
Keyphrases
</>
automatic theorem proving
higher order
theorem proving
preprocessing
data sets
databases
three dimensional
cooperative
search algorithm
pattern recognition
probability distribution
efficient implementation