Back to Results
First PageMeta Content
Theoretical computer science / Rules of inference / Automated theorem proving / Predicate logic / Programming paradigms / Resolution / Horn clause / Prolog / Clause / Logic programming / Logic / Mathematical logic


LOGIC PROGRAMMING Robert Kowalski 1 INTRODUCTION
Add to Reading List

Document Date: 2013-12-18 05:34:05

Open Document

File Size: 481,95 KB

Share Result on Facebook
UPDATE