Back to Results
First PageMeta Content
Logic programming / Logic in computer science / Rules of inference / Automated theorem proving / Horn clause / Resolution / Clause / Prolog / Mathematical proof / Logic / Mathematics / Mathematical logic


Chapter 9 SLD-Resolution And
Add to Reading List

Document Date: 2005-06-17 11:47:12

Open Document

File Size: 202,82 KB

Share Result on Facebook
UPDATE