BibTeX record conf/sigcse/LodderHJ17

download as .bib file

@inproceedings{DBLP:conf/sigcse/LodderHJ17,
  author    = {Josje Lodder and
               Bastiaan Heeren and
               Johan Jeuring},
  editor    = {Michael E. Caspersen and
               Stephen H. Edwards and
               Tiffany Barnes and
               Daniel D. Garcia},
  title     = {Generating Hints and Feedback for Hilbert-style Axiomatic Proofs},
  booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
               Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
  pages     = {387--392},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3017680.3017736},
  doi       = {10.1145/3017680.3017736},
  timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
  biburl    = {https://dblp.org/rec/conf/sigcse/LodderHJ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics