Back to Results
First PageMeta Content
Logic / Mathematical logic / Mathematics / Automated theorem proving / Propositional calculus / Rules of inference / Resolution / Boolean algebra / Literal / First-order logic / SLD resolution / Horn clause


Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization
Add to Reading List

Document Date: 2009-06-05 11:15:41


Open Document

File Size: 163,83 KB

Share Result on Facebook
UPDATE