Back to Results
First PageMeta Content
Metalogic / Logical syntax / Propositional calculus / First-order logic / Interpretation / Satisfiability / Well-formed formula / Linear temporal logic / Entailment / Logic / Model theory / Formal languages


Description Logics Using First Order Logic
Add to Reading List

Document Date: 2011-09-08 09:53:47

Open Document

File Size: 140,81 KB

Share Result on Facebook
UPDATE