Pages that link to "Item:Q3100213"

The following pages link to The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” (Q3100213):

Displaying 3 items.

• A web-based toolkit for mathematical word processing applications with semantics (Q2364686) (← links)
• The $$\theta $$-Join as a Join with $$\theta $$ (Q5098712) (← links)
• Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)