Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/mkm/MarcusKRS21
@inproceedings{DBLP:conf/mkm/MarcusKRS21, author = {Richard Marcus and Michael Kohlhase and Navid Roux and John Schihada}, editor = {Jasmin Blanchette and James H. Davenport and Peter Koepke and Michael Kohlhase and Andrea Kohlhase and Adam Naumowicz and Dennis M{\"{u}}ller and Yasmine Sharoda and Claudio Sacerdoti Coen}, title = {Dynamic User Interfaces via Incremental Knowledge Management}, booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {3377}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-3377/mathui7.pdf}, timestamp = {Thu, 14 Sep 2023 09:27:13 +0200}, biburl = {https://dblp.org/rec/conf/mkm/MarcusKRS21.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.