Pages that link to "Biography:John Alan Robinson"
From HandWiki
The following pages link to Biography:John Alan Robinson:
Displayed 23 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Dis-unification (computer science) (← links)
- Rewriting (← links)
- List of mathematicians (R) (← links)
- Problem solving (← links)
- Hindley–Milner type system (← links)
- Knowledge representation and reasoning (← links)
- Unification (computer science) (← links)
- SLD resolution (← links)
- Automated theorem proving (← links)
- Consensus theorem (← links)
- Harrop formula (← links)
- Logic programming (← links)
- Herbrand Award (← links)
- Handbook of Automated Reasoning (← links)
- Dis-unification (← links)
- Theta-subsumption (← links)
- Philosophy:Resolution (logic) (← links)
- Philosophy:Substitution (logic) (← links)
- Biography:Wolfgang Bibel (← links)
- Biography:Wayne Snyder (← links)
- Biography:Philippa Gardner (← links)
- Biography:John Alan Robinson (transclusion) (← links)
- Biography:Dov Gabbay (← links)
