Back to Results
First PageMeta Content
Rules of inference / Automated theorem proving / Logic in computer science / Logic programming / Resolution / Datalog / Horn clause / Unification / Semantic reasoner / Logic / Mathematical logic / Mathematics


Document Date: 2013-07-16 09:32:31

Open Document

File Size: 355,72 KB

Share Result on Facebook
UPDATE