The following pages link to (Q3863048):
Displayed 6 items.
- Learning efficient logic programs (Q2425246) (← links)
- Formal deduction with transfinite induction and its transformation for easier program synthesis (Q3678663) (← links)
- Extraction of a program from deduction and its regularity. I (Q3726113) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Synthesising programs with non-trivial constants (Q6161231) (← links)