Automating Soundness Proofs.

Muck van Weerdenburg

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

theorem proving
theorem prover
databases
artificial intelligence
case study
decision procedures
natural deduction
mathematical proofs
data sets
information retrieval
feature selection
pattern recognition
search space
evolutionary algorithm
formal proof