The following pages link to Multi (Q33162):
Displaying 6 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Failure reasoning in multiple-strategy proof planning (Q2848045) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- Automated Deduction – CADE-20 (Q5394617) (← links)
- Mathematical Knowledge Management (Q5898517) (← links)