Pages that link to "Unification (computer science)"
Jump to navigation
Jump to search
The following pages link to Unification (computer science):
Displaying 14 items.
- Artificial intelligence (← links)
- Boolean algebra (structure) (← links)
- Logic programming (← links)
- Prolog (← links)
- Boolean ring (← links)
- Function symbol (← links)
- Declarative programming (← links)
- Symbolic artificial intelligence (← links)
- Assignment (computer science) (← links)
- Program synthesis (← links)
- Equation solving (← links)
- Higher-order logic (← links)
- Expression (mathematics) (← links)
- Feature structure (← links)