Universal Unification and Regular Equational ACFM Theories.

Jörg H. Siekmann Peter Szabó

Published in: IJCAI (1981)

Keyphrases

equational theories
theorem proving
theorem prover
data sets
function symbols
first order logic
databases
data mining
computer vision
decision trees
image sequences
domain knowledge
multi valued
turing machine