A Fast Algorithm for Uniform Semi-Unification.

Alberto Oliart Wayne Snyder

Published in: CADE (1998)

Keyphrases

higher order
theorem proving
computer vision
database
databases
e learning
image processing
decision trees
database systems
learning environment
preprocessing
viewpoint
probabilistic model
theorem prover