The following pages link to (Q4707764):
Displaying 11 items.
- Specifying rewrite strategies for interactive exercises (Q626940) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Proof planning for strategy development (Q1601860) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Proof planning: A practical approach to mechanized reasoning in mathematics (Q2702597) (← links)
- Towards proof planning for \(\mathcal{M}_{\omega}^+\) (Q2844813) (← 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)
- (Q4012224) (← links)
- (Q4530469) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464716) (← links)