Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/kcap/dAquinBCLLZ23
@inproceedings{DBLP:conf/kcap/dAquinBCLLZ23, author = {Mathieu d'Aquin and Renata Bunoiu and Horatiu Cirstea and Michel Lenczner and Jean Lieber and Fr{\'{e}}d{\'{e}}ric Zamkotsian}, editor = {Kristen Brent Venable and Daniel Garijo and Brian Jalaian}, title = {Combining representation formalisms for reasoning upon mathematical knowledge}, booktitle = {Proceedings of the 12th Knowledge Capture Conference 2023, {K-CAP} 2023, Pensacola, FL, USA, December 5-7, 2023}, pages = {180--187}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3587259.3627549}, doi = {10.1145/3587259.3627549}, timestamp = {Sun, 10 Dec 2023 17:00:11 +0100}, biburl = {https://dblp.org/rec/conf/kcap/dAquinBCLLZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.