Back to Results
First PageMeta Content
Mathematical logic / Logic / Mathematics / Model theory / Automated theorem proving / Predicate logic / Semantics / Logic programming / Resolution / First-order logic / Skolem normal form / Substitution


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-16 13:42:21


Open Document

File Size: 255,21 KB

Share Result on Facebook