Wolfgang Schreiner,
"Logic as a Path to Enlightenment (Work in Progress Report)"
, in Walther Neuper: Computer Mathematics in Education - Enlightenment or Incantation?, Serie CEUR Workshop Proceedings, To be published at CEUR Workshop Proceedings, Seite(n) 1-5, 8-2018, ISSN: 1613-0073
Original Titel:
Logic as a Path to Enlightenment (Work in Progress Report)
Sprache des Titels:
Englisch
Original Buchtitel:
Computer Mathematics in Education - Enlightenment or Incantation?