Back to Results
First PageMeta Content
Predicate logic / Model theory / Formal languages / Circumscription / Logic programming / Well-formed formula / Monadic predicate calculus / Atomic formula / Function / Logic / Mathematical logic / Mathematics


Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract
Add to Reading List

Document Date: 2012-02-02 05:30:59

Open Document

File Size: 254,84 KB

Share Result on Facebook
UPDATE