Login / Signup
Unification with Lazy Non-Redundant Copying.
Martin C. Emele
Published in:
ACL (1991)
Keyphrases
</>
higher order
databases
lazy learning
highly redundant
eliminating redundant
high level
neural network
decision making
database systems
face recognition
domain knowledge
theorem proving
equational theories