AC Unification in HOL90.

Published in: HUG (1993)

Keyphrases

theorem prover
theorem proving
automated theorem proving
natural deduction
first order logic
higher order logic
inference rules
formal methods
neural network
arc consistency
term rewriting
data mining
information systems
feature selection
data structure
knowledge representation