![Automated theorem proving / Metalogic / Formal methods / First-order logic / IP / Well-formed formula / Modal logic / Theorem prover / Propositional calculus / Logic / Mathematical logic / Model theory Automated theorem proving / Metalogic / Formal methods / First-order logic / IP / Well-formed formula / Modal logic / Theorem prover / Propositional calculus / Logic / Mathematical logic / Model theory](https://www.pdfsearch.io/img/64b6fe8e3aff3b8389ea6bd1ffa689f5.jpg)
| Document Date: 2013-12-02 09:16:06 Open Document File Size: 222,61 KBShare Result on Facebook
/ Facility Daniel P. Friedman Indiana University / Massachusetts Institute of Technology / / IndustryTerm proof search / depth-first search / search depth / / Organization Indiana University / Bloomington / Massachusetts Institute of Technology / / Person William E. Byrd / Prolog / Daniel P. Friedman / Joseph P. Near / / / Position simple declarative translator / simple proof translator / model / / ProvinceOrState Massachusetts / /
SocialTag |