Back to Results
First PageMeta Content
Semantics / Datalog / Logic programming / Rules of inference / Stratification / Negation as failure / Negation / Transitive closure / Model theory / Logic / Mathematics / Mathematical logic


15 Alice: Sergio: Alice: Riccardo: Vittorio:
Add to Reading List

Document Date: 2010-02-12 06:45:46

Open Document

File Size: 364,61 KB

Share Result on Facebook
UPDATE