Constrained Equational Deduction.

John Darlington Yike Guo

Published in: CTRS (1990)

Keyphrases

theorem proving
theorem prover
inference rules
first order logic
automated theorem proving
automated deduction
horn clauses
data mining
database systems
multi agent
proof procedure
anti unification