BibTeX record conf/iticse/GeckLHMSSSTVZ19

• > Home > conf/iticse/GeckLHMSSSTVZ19

@inproceedings{DBLP:conf/iticse/GeckLHMSSSTVZ19,
  author       = {Gaetano Geck and
                  Artur Ljulin and
                  Jonas Haldimann and
                  Johannes May and
                  Jonas Schmidt and
                  Marko Schmellenkamp and
                  Daniel Sonnabend and
                  Felix Tschirbs and
                  Fabian Vehlken and
                  Thomas Zeume},
  editor       = {Bruce Scharlau and
                  Roger McDermott and
                  Arnold Pears and
                  Mihaela Sabin},
  title        = {Teaching Logic with Iltis: an Interactive, Web-Based System},
  booktitle    = {Proceedings of the 2019 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, Aberdeen, Scotland, UK, July 15-17,
                  2019},
  pages        = {307},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3304221.3325571},
  doi          = {10.1145/3304221.3325571},
  timestamp    = {Tue, 21 Mar 2023 20:59:32 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/GeckLHMSSSTVZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}