The following pages link to EQP (Q27508):
Displaying 4 items.
- Octopus: combining learning and parallel search (Q861370) (← links)
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
