BibTeX record conf/ppig/KadodaSD99

download as .bib file

@inproceedings{DBLP:conf/ppig/KadodaSD99,
  author    = {Gada F. Kadoda and
               Roger G. Stone and
               Dan Diaper},
  title     = {Desirable features of educational theorem provers - a cognitive dimensions
               viewpoint},
  booktitle = {Proceedings of the 11th Annual Workshop of the Psychology of Programming
               Interest Group, {PPIG} 1999, Leeds, UK, January 5-7, 1999},
  pages     = {4},
  publisher = {Psychology of Programming Interest Group},
  year      = {1999},
  url       = {http://ppig.org/library/paper/desirable-features-educational-theorem-provers-cognitive-dimensions-viewpoint},
  timestamp = {Sat, 09 Jun 2018 23:42:55 +0200},
  biburl    = {https://dblp.org/rec/conf/ppig/KadodaSD99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics