Partial Completion of Equational Theories.

Yongqiang Sun Kai Lin Chao-Jun Lu

Published in: J. Comput. Sci. Technol. (2000)

Keyphrases

equational theories
theorem proving
data sets
expert systems
prior knowledge
general purpose
partial information