Login / Signup
ADC method of proof search for intuitionistic propositional natural deduction.
Grigori Mints
Shane Steinert-Threlkeld
Published in:
J. Log. Comput. (2016)
Keyphrases
</>
bayesian networks
objective function
propositional logic
theorem proving
natural deduction