The following pages link to (Q2767093):
Displaying 9 items.
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- A study of an integrated proof strategy (Q2719650) (← links)
- (Q4530469) (← links)
- (Q4707764) (← links)