Login / Signup
A New Scheme for Unification in WAM.
André Mariën
Bart Demoen
Published in:
ISLP (1991)
Keyphrases
</>
higher order
theorem prover
databases
learning algorithm
database
data sets
genetic algorithm
artificial intelligence
computer vision
multiresolution
probabilistic model
theorem proving
detection scheme
recognition scheme