Proofs, Disproofs, and Their Duals.

Heinrich Wansing

Published in: Advances in Modal Logic (2010)

Keyphrases

cooperative
theorem prover
formal proofs
theorem proving
hidden markov models
decision procedures
formal proof
mathematical proofs
data sets
pairwise
sufficient conditions
interactive theorem proving