Unifying Theories in Isabelle/HOL.

Abderrahmane Feliachi Marie-Claude Gaudel Burkhart Wolff

Published in: UTP (2010)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
first order logic
higher order logic
theoretical framework
causal reasoning
cut elimination
website
defeasible logic
sequent calculus
decision trees
multimedia
information retrieval
data mining
real world