Back to Results
First PageMeta Content
Theoretical computer science / Logic / Mathematics / SLD resolution / Stable model semantics / Automated theorem proving / FO / Prolog / Resolution / Logic programming / Rules of inference / Mathematical logic


Document Date: 2008-07-06 10:39:46

Open Document

File Size: 331,52 KB

Share Result on Facebook
UPDATE