Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/mkm/Farmer21
@inproceedings{DBLP:conf/mkm/Farmer21, author = {William Farmer}, 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 = {Formal Mathematics for the Masses (short paper)}, 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/natfom3.pdf}, timestamp = {Thu, 14 Sep 2023 09:27:13 +0200}, biburl = {https://dblp.org/rec/conf/mkm/Farmer21.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.