Unification in the Combination of Disjoint Theories.

Published in: IWWERT (1991)

Keyphrases

equational theories
pairwise
theorem prover
higher order
artificial intelligence
decision making
image processing
learning environment
search algorithm
combining multiple
decision theory