A HOL Package for Reasoning about Relations Defined by Mutual Induction.

Rachel E. O. Roxas

Published in: HUG (1993)

Keyphrases

totally ordered
spatial reasoning
machine learning
genetic algorithm
user defined
data mining
semantic relations
theorem prover
theorem proving
inductive inference
qualitative reasoning
software package
binary relations