%0 Conference Paper %1 conf/mkm/BergesBCKLM23 %A Berges, Marc %A Betzendahl, Jonas %A Chugh, Abhishek %A Kohlhase, Michael %A Lohr, Dominic %A Müller, Dennis %B CICM %D 2023 %E Dubois, Catherine %E Kerber, Manfred %I Springer %K dblp %P 84-97 %T Learning Support Systems Based on Mathematical Knowledge Management. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#BergesBCKLM23 %V 14101 %@ 978-3-031-42753-4

@inproceedings{conf/mkm/BergesBCKLM23, added-at = {2023-09-24T00:00:00.000+0200}, author = {Berges, Marc and Betzendahl, Jonas and Chugh, Abhishek and Kohlhase, Michael and Lohr, Dominic and Müller, Dennis}, biburl = {https://www.bibsonomy.org/bibtex/25d30056b1bfebd8713f1f61f12415a9a/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2023}, editor = {Dubois, Catherine and Kerber, Manfred}, ee = {https://doi.org/10.1007/978-3-031-42753-4_6}, interhash = {7475d2dbcf96fd9f5d305bfe9117d9f3}, intrahash = {5d30056b1bfebd8713f1f61f12415a9a}, isbn = {978-3-031-42753-4}, keywords = {dblp}, pages = {84-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:34.000+0200}, title = {Learning Support Systems Based on Mathematical Knowledge Management.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#BergesBCKLM23}, volume = 14101, year = 2023 }