Efficient Unification over Infinite Terms.

Published in: New Gener. Comput. (1984)

Keyphrases

real time
neural network
co occurrence
machine learning
genetic algorithm
artificial intelligence
computer vision
decision trees
background knowledge
cost effective
theorem proving