会计学季刊
Quarterly Journal of Accounting
主办单位:
香港中文大学会计学院
上海财经大学会计学院
南京大学商学院会计学系
ISSN: 3006-1415
Axiomatization of Special Relativity in First Order Logic
罗懿宸, 陈磊, 何宛亭, 马永革, 张昕禹
Axiomatization of Special Relativity in First Order Logic
Yi-Chen Luo, Lei Chen, Wan-Ting He, Yong-Ge Ma, Xin-Yu Zhang
理论物理通讯 . 2016, (01): 19 -28 .