BibTeX record conf/mkm/Carter13a

• > Home > conf/mkm/Carter13a

@inproceedings{DBLP:conf/mkm/Carter13a,
  author       = {Nathan C. Carter and
                  Kenneth G. Monks},
  editor       = {Christoph Lange and
                  David Aspinall and
                  Jacques Carette and
                  James H. Davenport and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Paul Libbrecht and
                  Pedro Quaresma and
                  Florian Rabe and
                  Petr Sojka and
                  Iain Whiteside and
                  Wolfgang Windsteiger},
  title        = {Lurch: a word processor that can grade students' proofs},
  booktitle    = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
                  and Work in Progress at CICM, Bath, {UK}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1010},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1010/paper-04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/Carter13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}