%0 Conference Paper %1 conf/kcap/dAquinBCLLZ23 %A d'Aquin, Mathieu %A Bunoiu, Renata %A Cirstea, Horatiu %A Lenczner, Michel %A Lieber, Jean %A Zamkotsian, Frédéric %B K-CAP %D 2023 %E Venable, Kristen Brent %E Garijo, Daniel %E Jalaian, Brian %I ACM %K dblp %P 180-187 %T Combining representation formalisms for reasoning upon mathematical knowledge. %U http://dblp.uni-trier.de/db/conf/kcap/kcap2023.html#dAquinBCLLZ23

@inproceedings{conf/kcap/dAquinBCLLZ23, added-at = {2023-12-10T00:00:00.000+0100}, author = {d'Aquin, Mathieu and Bunoiu, Renata and Cirstea, Horatiu and Lenczner, Michel and Lieber, Jean and Zamkotsian, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/255f0bf1ab2bcbeb19bf266cff17f580c/dblp}, booktitle = {K-CAP}, crossref = {conf/kcap/2023}, editor = {Venable, Kristen Brent and Garijo, Daniel and Jalaian, Brian}, ee = {https://doi.org/10.1145/3587259.3627549}, interhash = {08ef92ec3bdc47d2a932695d74c46f92}, intrahash = {55f0bf1ab2bcbeb19bf266cff17f580c}, keywords = {dblp}, pages = {180-187}, publisher = {ACM}, timestamp = {2024-04-10T00:08:43.000+0200}, title = {Combining representation formalisms for reasoning upon mathematical knowledge.}, url = {http://dblp.uni-trier.de/db/conf/kcap/kcap2023.html#dAquinBCLLZ23}, year = 2023 }