Importing HOL into Isabelle/HOL.

Steven Obua Sebastian Skalberg

Published in: IJCAR (2006)

Keyphrases

theorem prover
natural deduction
inference rules
higher order logic
theorem proving
first order logic
formal methods
cut elimination
web services
sequent calculus
knowledge base
case study
bayesian networks
expert systems