Interpreting HOL in the calculus of constructions.

Jonathan P. Seldin

Published in: J. Appl. Log. (2004)

Keyphrases

natural deduction
theorem prover
automated theorem proving
theorem proving
sequent calculus
computer algebra
inference rules
automated deduction
formal methods
provably correct
proof procedure
data sets
database
mobile robot
image processing
knowledge base
machine learning
neural network
higher order logic