Verification of human-level proof steps in mathematics education

@inproceedings{Dietrich2008VerificationOH,
  title={Verification of human-level proof steps in mathematics education},
  author={Dominik Dietrich and Mark Buckley},
  year={2008}
}

Similar Papers