NewsFive ALeA contributions at the CICM
Five papers from around ALeA were presented at the CICM-Conference in Cambridge. Four of them in workshops and once in the main track. There is a contribution to the latter in the proceedings: Berges, M., Betzendahl, J., Chugh, A., Kohlhase, M., Lohr, D., Müller, D. (2023). Learning Support Systems Based on Mathematical Knowledge Management. In: […]Five papers from around ALeA were presented at the CICM-Conference in Cambridge. Four of them in workshops and once in the main track. There is a contribution to the latter in the proceedings: Berges, M., Betzendahl, J., Chugh, A., Kohlhase, M., Lohr, D., Müller, D. (2023). Learning Support Systems Based on Mathematical Knowledge Management. In: […]
