The following pages link to (Q4737121):
Displaying 5 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)