Back to Results
First PageMeta Content
Mathematical logic / Logic / Model theory / Metalogic / Predicate logic / Formal methods / Resolution / First-order logic / Skolem normal form / Automated theorem proving / Quantifier / Axiom


11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California
Add to Reading List

Document Date: 2011-11-14 21:00:52


Open Document

File Size: 1,72 MB

Share Result on Facebook