基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,512 浏览量: 5,762
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
我国刑法应当坚持实质解释立场Criminal Law Should Adhere to the Position of Substantive Interpretation in China
刘 阳 下载量: 957 浏览量: 3,417
社会科学前沿 Vol.8 No.1, January 28 2019, PDF, HTML, XML DOI:10.12677/ASS.2019.81022 被引量
医疗护理服务可及性对老人照护模式选择的影响研究Research on the Influence of Medical Care Service Accessibility on the Choice of Elderly Care Models
董 舒 下载量: 359 浏览量: 2,241
应用数学进展 Vol.11 No.10, October 8 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1110727 被引量
国际法渊源问题研究Study on the Sources of International Law
罗良渊 下载量: 112 浏览量: 174
法学 Vol.12 No.3, March 29 2024, PDF, HTML, XML DOI:10.12677/ojls.2024.123264 被引量
企业环境治理影响因素研究综述Review on Influencing Factors of Enterprise Environmental Governance
张玉娟, 郭艳平 下载量: 413 浏览量: 748 科研立项经费支持
社会科学前沿 Vol.11 No.1, January 27 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.111046 被引量
探望权制度构建与优化研究Study on Construction and Optimization of Visitation Right System
付道鑫 下载量: 184 浏览量: 347
法学 Vol.11 No.4, July 21 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.114403 被引量
在情境中浸润和感化的历史学科德育实践——以《北魏政治和北方民族大交融》一课为例The Practice of Moral Education in Historical Disciplines That Infiltrate and Affect in the Context—Taking the Lesson “Northern Wei Dynasty Politics and Northern Ethnic Integration” as an Example
金懿慰 下载量: 504 浏览量: 781 科研立项经费支持
教育进展 Vol.11 No.6, November 30 2021, PDF, HTML, XML DOI:10.12677/AE.2021.116378 被引量
人工智能的主体地位探析Artificial Intelligence Subjectivity Probe
张友恒 下载量: 398 浏览量: 951 科研立项经费支持
社会科学前沿 Vol.11 No.11, November 8 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.1111630 被引量
岩体质量评判的多粒度计算方法Multi-Grained Calculation Method for Rock Mass Quality Evaluation
刘 谦, 杜宝苍, 毛 华, 连萌璇, 刘 川, 张植明, 杨兰珍 下载量: 288 浏览量: 454 科研立项经费支持
理论数学 Vol.12 No.6, June 23 2022, PDF, HTML, XML DOI:10.12677/PM.2022.126108 被引量
村务公开中村民的法律地位探讨The Discussion about the Legal Status of the Villagers in Open Village Affairs
陈龙娅 下载量: 2,808 浏览量: 6,496 科研立项经费支持
社会科学前沿 Vol.2 No.3, August 26 2013, PDF, , XML DOI:10.12677/ASS.2013.23009 被引量