BibTeX record conf/schule/BohneKK16

download as .bib file

@inproceedings{DBLP:conf/schule/BohneKK16,
  author       = {Sebastian B{\"{o}}hne and
                  Maria Knobelsdorf and
                  Christoph Kreitz},
  editor       = {Andreas Schwill and
                  Ulrike Lucke},
  title        = {Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser
                  Coq},
  booktitle    = {Hochschuldidaktik der Informatik, {HDI} 2016 - 7. Fachtagung des GI-Fachbereichs
                  Informatik und Ausbildung / Didaktik der Informatik, 13.-14. September
                  2016 an der Universit{\"{a}}t Potsdam, Germany},
  series       = {Commentarii informaticae didacticae},
  volume       = {10},
  pages        = {69--80},
  publisher    = {Universit{\"{a}}tsverlag Potsdam},
  year         = {2016},
  timestamp    = {Wed, 12 Feb 2020 16:44:29 +0100},
  biburl       = {https://dblp.org/rec/conf/schule/BohneKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.