Back to Results
First PageMeta Content
Mathematics / Proof theory / Metalogic / Resolution / First-order logic / Davis–Putnam algorithm / Logic programming / John Alan Robinson / Substitution / Logic / Mathematical logic / Automated theorem proving


Document Date: 2009-05-12 06:53:25

Open Document

File Size: 277,22 KB

Share Result on Facebook
UPDATE