Pages that link to "Item:Q5055785"
From MaRDI portal
The following pages link to Distributing equational theorem proving (Q5055785):
Displaying 4 items.
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Learning domain knowledge to improve theorem proving (Q4647500) (← links)
- Experiments in the heuristic use of past proof experience (Q4647545) (← links)
- Distributing equational theorem proving (Q5055785) (← links)
