Combination Techniques for Non-Disjoint Equational Theories.

Eric Domenjoud Francis Klay Christophe Ringeissen

Published in: CADE (1994)

Keyphrases

equational theories
theorem proving
combining multiple
data sets
neural network
expert systems
general purpose