On Extending Bounded Proofs to Inductive Proofs.

Oded Fuhrmann Shlomo Hoory

Published in: CAV (2009)

Keyphrases

theorem proving
theorem prover
decision procedures
equational theories
database
neural network
artificial intelligence
metadata
multimedia
multi agent
natural deduction
mathematical proofs