The following pages link to (Q4530469):
Displaying 9 items.
- Experiments with proof plans for induction (Q809617) (← links)
- Adaptation of declaratively represented methods in proof planning (Q1277343) (← links)
- Decision planning knowledge representation framework: A case-study (Q1397242) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241) (← links)
- On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner} (Q2852043) (← links)
- Concept Formation via Proof Planning Failure (Q2996204) (← links)
- (Q4707764) (← links)