The following pages link to (Q3783620):
Displaying 6 items.
- A theory of abstraction (Q1199923) (← links)
- Feature generation using general constructor functions (Q1604806) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Abduction of generalizations (Q2861000) (← links)
- Deductive generalization for clause logic (Q3976573) (← links)
- (Q4357747) (← links)