BibTeX
@article{Bentkamp23b, TITLE = {Mechanical Mathematicians}, AUTHOR = {Bentkamp, Alexander and Blanchette, Jasmin and Nummelin, Visa and Tourret, Sophie and Vukmirovi{\'c}, Petar and Waldmann, Uwe}, LANGUAGE = {eng}, ISSN = {0001-0782}, DOI = {10.1145/3557998}, PUBLISHER = {ACM}, ADDRESS = {New York, NY}, YEAR = {2023}, MARGINALMARK = {$\bullet$}, JOURNAL = {Communications of the ACM}, VOLUME = {66}, NUMBER = {4}, PAGES = {80--90}, }
Endnote
%0 Journal Article %A Bentkamp, Alexander %A Blanchette, Jasmin %A Nummelin, Visa %A Tourret, Sophie %A Vukmirović, Petar %A Waldmann, Uwe %+ External Organizations Automation of Logic, MPI for Informatics, Max Planck Society External Organizations External Organizations External Organizations Automation of Logic, MPI for Informatics, Max Planck Society %T Mechanical Mathematicians : %G eng %U http://hdl.handle.net/21.11116/0000-000D-06AE-9 %R 10.1145/3557998 %7 2023 %D 2023 %J Communications of the ACM %V 66 %N 4 %& 80 %P 80 - 90 %I ACM %C New York, NY %@ false