Back to Results
First PageMeta Content
Automated theorem proving / Boolean algebra / Logic in computer science / Rules of inference / Implicant / Horn clause / Unit propagation / Resolution / Logic programming / Logic / Mathematical logic / Mathematics


Document Date: 2003-04-29 20:41:47

Open Document

File Size: 772,60 KB

Share Result on Facebook
UPDATE