Login / Signup
Structured derivations: a unified proof style for teaching mathematics.
Ralph-Johan Back
Published in:
Formal Aspects Comput. (2010)
Keyphrases
</>
teaching mathematics
inference rules
learning activities
computer assisted