Mechanizing Proofs by Unfolding, Folding and Simplification.

Rym Salem Khaled Bsaïes

Published in: RelMiCS (1997)

Keyphrases

theorem proving
petri net
preprocessing
multiresolution
information retrieval
equational theories
mathematical proofs
databases
machine learning
protein folding
formal proofs
energy landscape
data mining
artificial intelligence
theorem prover
natural deduction