Revisions for Finite entailment of Positive Horn logic
The revisions let you track differences between multiple versions of a post.
Revision | Operations | |
---|---|---|
2012-09-21 14:08 by LucSegoufin | current revision | |
2012-09-21 11:48 by LucSegoufin | ||
2012-09-21 11:47 by LucSegoufin |