主管：教育部
主办：中国人民大学
ISSN 1000-5420  CN 11-1476/C
中国人民大学学报
科学解释的形式化、模型化和可计算化
崔帅1, 郭贵春2
On the Formalization, Modeling, and Computability of Scientific Explanations
CUI Shuai1, GUO Guichun2
中国人民大学学报 . 2025, (4): 178 -187 .