Lazy Unification.

Published in: ACL (1990)

Keyphrases

theorem proving
higher order
lazy learning
equational theories
pattern recognition
image processing
data sets
neural network
information retrieval
feature selection
web services
decision trees
special case
automated theorem proving