Proof Reflection in Coq.

Dimitri Hendriks

Published in: J. Autom. Reason. (2002)

Keyphrases

theorem prover
proof search
theorem proving
automated theorem proving
inference rules
proof planning
formal methods
data mining
decision trees
geometry theorem proving
natural deduction
linear logic
information technology
digital libraries
multi agent
image sequences
multimedia
learning algorithm