Animation strukturierter Beweise in der universitären Ausbildung

Christian Pape. Animation strukturierter Beweise in der universitären Ausbildung. PhD thesis, Karlsruhe Institute of Technology, 1999. [doi]