Login / Signup
An Interpretation of Isabelle/HOL in HOL Light.
Sean McLaughlin
Published in:
IJCAR (2006)
Keyphrases
</>
theorem prover
natural deduction
inference rules
theorem proving
higher order logic
first order logic
cut elimination
information retrieval
image interpretation
sequent calculus
databases
expert systems
data structure
database systems
computer vision
formal methods
semantic interpretation
real world