Pages that link to "Unification (computer science)"
The following pages link to Unification (computer science):
Displayed 17 items.
- Artificial intelligence (← links | edit)
- Boolean algebra (structure) (← links | edit)
- Logic programming (← links | edit)
- Prolog (← links | edit)
- Boolean ring (← links | edit)
- Declarative programming (← links | edit)
- Index of logic articles (← links | edit)
- Symbolic artificial intelligence (← links | edit)
- Assignment (computer science) (← links | edit)
- Program synthesis (← links | edit)
- Equation solving (← links | edit)
- Higher-order logic (← links | edit)
- Expression (mathematics) (← links | edit)
- Feature structure (← links | edit)
- Alma-0 (← links | edit)
- Disjoint-set data structure (← links | edit)
- Occurs check (← links | edit)