The following pages link to (Q4520772):
Displaying 4 items.
- Deduction as an Engineering Science (Q4916217) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)