Back to Results
First PageMeta Content
Model theory / Information science / Ontology / Boolean satisfiability problem / Description logic / First-order logic / Algorithm / Axiom / Satisfiability / Logic / Mathematical logic / Mathematics


Document Date: 2008-01-29 07:56:37

Open Document

File Size: 1,02 MB

Share Result on Facebook
UPDATE