Knowledge representation
Fuzzy logic
Predicate
Predicate logic
Propositional calculus
Tree
Reference
C
Static single assignment form
Logic
Mathematical logic
Computing