Back to Results
First PageMeta Content
Mathematics / Predicate logic / Logic programming / Rules of inference / Resolution / Clause / First-order logic / Higher-order logic / Unit propagation / Logic / Mathematical logic / Automated theorem proving


Document Date: 2013-10-07 14:40:42

Open Document

File Size: 409,10 KB

Share Result on Facebook
UPDATE