Einsatz von Theorembeweisern in der Lehre (bibtex)
by Max Wisniewski, Alexander Steen, Christoph Benzmüller
Reference:
Einsatz von Theorembeweisern in der Lehre (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam (Andreas Schwill, Ulrike Lucke, eds.), Universitätsverlag Potsdam, Commentarii informaticae didacticae (CID), 2016.
Bibtex Entry:
@inproceedings{C58,
  Address =	 {Potsdam, Germany},
  Author =	 {Max Wisniewski and Alexander Steen and Christoph
                  Benzm{\"u}ller},
  Editor =	 {Andreas Schwill and Ulrike Lucke},
  Booktitle =	 {Hochschuldidaktik der Informatik: 7. Fachtagung des
                  GI-Fachbereichs Informatik und Ausbildung/Didaktik
                  der Informatik; 13.-14. September 2016 an der
                  Universit{\"a}t Potsdam},
  Keywords =	 {own, Computational Metaphysics},
  isbn =	 {978-3-86956-376-3},
  issn =	 {1868-0844},
  Publisher =	 {Universit{\"a}tsverlag Potsdam},
  Series =	 {Commentarii informaticae didacticae (CID)},
  Title =	 {{Einsatz von Theorembeweisern in der Lehre}},
  Url =
                  {https://publishup.uni-potsdam.de/opus4-ubp/frontdoor/index/index/docId/9485},
  Year =	 2016
}
Powered by bibtexbrowser