Desirable features of educational theorem provers - a cognitive dimensions viewpoint

Gada F. Kadoda, Roger G. Stone, Dan Diaper. Desirable features of educational theorem provers - a cognitive dimensions viewpoint. In Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1999, Leeds, UK, January 5-7, 1999. pages 4, Psychology of Programming Interest Group, 1999. [doi]

@inproceedings{KadodaSD99,
  title = {Desirable features of educational theorem provers - a cognitive dimensions viewpoint},
  author = {Gada F. Kadoda and Roger G. Stone and Dan Diaper},
  year = {1999},
  url = {http://ppig.org/library/paper/desirable-features-educational-theorem-provers-cognitive-dimensions-viewpoint},
  researchr = {https://researchr.org/publication/KadodaSD99},
  cites = {0},
  citedby = {0},
  pages = {4},
  booktitle = {Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1999, Leeds, UK, January 5-7, 1999},
  publisher = {Psychology of Programming Interest Group},
}