Essential unifiers.

Michael Hoche Peter Szabó

Published in: J. Appl. Log. (2006)

Keyphrases

equational theories
machine learning
dynamic environments
image processing
multimedia
objective function
active learning
least squares
programming language
data management
ultimate goal