The Ground Congruence for Chi Calculus.

Yuxi Fu Zhenrong Yang

Published in: FSTTCS (2000)

Keyphrases

socio technical
computer algebra
information gain
formal language
artificial intelligence
e learning
similarity measure
theorem proving
proof procedure
automated deduction
algebraic structure