Said Fathalla, Sören Auer, Christoph Lange 0002. Towards the semantic formalization of science. In Chih-Cheng Hung, Tomás Cerný, Dongwan Shin, Alessio Bechini, editors, SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020. pages 2057-2059, ACM, 2020. [doi]
Abstract is missing.