The following pages link to (Q4401546):
Displayed 7 items.
- Synthetic programming (Q761788) (← links)
- An optimal algorithm for Reve's puzzle (Q1113675) (← links)
- Problem representations and formal properties of heuristic search (Q1238643) (← links)
- Refinement of uncertain rule bases via reduction (Q1809358) (← links)
- Rule-oriented methods in problem solving (Q1844088) (← links)
- Representations and algorithms for cognitive learning (Q1846748) (← links)
- On the inference of Turing machines from sample computations (Q2557559) (← links)