![Automated theorem proving / Propositional calculus / Deduction / Natural deduction / Sequent calculus / Resolution / Rewriting / Method of analytic tableaux / Rule of inference / Logic / Mathematical logic / Proof theory Automated theorem proving / Propositional calculus / Deduction / Natural deduction / Sequent calculus / Resolution / Rewriting / Method of analytic tableaux / Rule of inference / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/281888234b710c4fe735b31222dac626.jpg)
| Document Date: 2015-01-06 05:11:19 Open Document File Size: 441,41 KBShare Result on Facebook
Company Creative Commons / CNF / Dagstuhl Publishing / / Country Germany / France / / / Event Reorganization / / IndustryTerm proof search procedures / semi-algorithm / derived proof-search methods / axiom-free deductive systems / proof search / proof search method / automated proof search / / OperatingSystem Sequent / / Person Guillaume Burel / / ProgrammingLanguage C / / Technology encryption / Digital Object Identifier / / URL http /
SocialTag |