Back to Results
First PageMeta Content
Logic programming / Propositional calculus / Boolean algebra / Rules of inference / Stable model semantics / Answer set programming / Resolution / Atomic formula / Negation / Logic / Mathematical logic / Mathematics


Document Date: 2004-12-10 03:34:14

Open Document

File Size: 236,50 KB

Share Result on Facebook
UPDATE