Pages that link to "Item:Q4086735"
From MaRDI portal
The following pages link to State-space problem-reduction, and theorem proving—some relationships (Q4086735):
Displaying 7 items.
- The Earley algorithm as a problem representation (Q1212802) (← links)
- Generalized AND/OR graphs (Q1228371) (← links)
- Semantics in problem representation and search (Q1233326) (← links)
- Problem representations and formal properties of heuristic search (Q1238643) (← links)
- An integrated model of problem solver (Q1242838) (← links)
- A general heuristic bottom-up procedure for searching AND/OR graphs (Q2639647) (← links)
- Representations of the language recognition problem for a theorem prover (Q4770508) (← links)
