The following pages link to John Alan Robinson (Q2767040):
Displaying 20 items.
- (Q2767041) (← links)
- (Q3028320) (← links)
- (Q3210146) (← links)
- (Q3367331) (← links)
- Theorem-Proving on the Computer (Q3847756) (← links)
- Introduction: 10th birthday special issue of the journal of logic programming (Q4305623) (← links)
- (Q4364503) (← links)
- (Q4530470) (← links)
- (Q5289024) (← links)
- A Machine-Oriented Logic Based on the Resolution Principle (Q5514129) (← links)
- (Q5541351) (← links)
- (Q5557485) (← links)
- (Q5562604) (← links)
- (Q5590824) (← links)
- (Q5591533) (← links)
- (Q5614672) (← links)
- (Q5616170) (← links)
- (Q5626301) (← links)
- (Q5636315) (← links)
- (Q5688937) (← links)