Contraction Algebras and Unification of (Infinite) Terms.

Razvan Diaconescu

Published in: J. Comput. Syst. Sci. (1992)

Keyphrases

higher order
artificial intelligence
machine learning
computer vision
information systems
database systems
bayesian networks
video sequences
background knowledge