Back to Results
First PageMeta Content
Rules of inference / Logic programming / Automated theorem proving / And–or tree / Algorithm / Prolog / Robert Kowalski / Horn clause / First-order logic / Logic / Mathematics / Mathematical logic


mWuDI?D(SD&D:, D~urnD:,D:,D@rn~@~ ~rnwDrn~ 7
Add to Reading List

Document Date: 2014-01-20 05:56:19

Open Document

File Size: 3,58 MB

Share Result on Facebook
UPDATE