分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 895 浏览量: 2,747
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
诉源治理视角下行政调解效力的反思与重塑Reflection and Reconstruction of Administrative Mediation Effectiveness from the Perspective of Source of Action Governance
吴香春 下载量: 264 浏览量: 390
法学 Vol.11 No.2, March 8 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.112056 被引量
我国近三十年外语教育调查综述:思考与展望A Review of Foreign Language Education Surveys in China (1992~2022): Reflection, and Outlook
董 行 下载量: 236 浏览量: 441
创新教育研究 Vol.12 No.2, February 29 2024, PDF, HTML, XML DOI:10.12677/CES.2024.122116 被引量
基于二维电泳高表达蛋白斑点的谷氨酸棒杆菌强启动子P1937的鉴定Identification of the Strong Promoter P1937 in Corynebacterium glutamicum Based on the High Expression Protein Bolt of Two-Dimensional Electrophoresis
张玮祎, 张 献, 李川敏, 徐大庆 下载量: 505 浏览量: 1,349
微生物前沿 Vol.10 No.1, March 11 2021, PDF, HTML, XML DOI:10.12677/AMB.2021.101004 被引量
基于特征工件的三轴数控机床动静态误差辨识与分离方法Dynamic and Static Error Identification and Separation Method for Three-Axis CNC Machine Tools Based on Feature Workpiece
吴 昊, 刘 超 下载量: 331 浏览量: 876
机械工程与技术 Vol.12 No.5, October 8 2023, PDF, HTML, XML DOI:10.12677/MET.2023.125048 被引量
繁简分流改革下独任制扩张的逻辑与限度The Logic and Limit of the Expansion of the Sole-Judge Trial System under the Reform of the Separation of Complicated and Simple Civil Litigation
孙铭泽 下载量: 309 浏览量: 1,044
法学 Vol.10 No.4, July 28 2022, PDF, HTML, XML DOI:10.12677/OJLS.2022.104088 被引量
撤稿:滇西北地区高校学生对《外科护理学》教考分离态度分析 RETRACTED:Analysis of College Students’ Attitude towards Separation of Teaching and Examination of Surgical Nursing in Northwest Yunnan
和丽秀, 和 欢, 朱银攀 下载量: 278 浏览量: 351 科研立项经费支持
护理学 Vol.12 No.3, June 25 2023, PDF, , DOI:10.12677/NS.2023.123046 被引量
Matlab在“电磁场与电磁波”课程可视化教学中的探索——以平面电磁波在介质交界面处的反射与透射分析为例The Application of Matlab in the Visual Teaching of the Course of “Electromagnetic Field and Electromagnetic Wave”—Taking the Reflection and Transmission Analysis of Plane Electromagnetic Waves at the Interface of the Medium as an Example
张慧博, 张轶博 下载量: 442 浏览量: 1,024
创新教育研究 Vol.10 No.6, June 10 2022, PDF, HTML, XML DOI:10.12677/CES.2022.106199 被引量
强电磁脉冲对武器装备电子系统毁伤效应分析及电磁防护材料技术Damage Effect Analysis of Strong Electromagnetic Pulse on the Electronic System of Weapon Equipment and the Technology of Electromagnetic Protection Materials
张存瑞, 米玉洁, 王 喆, 张贵恩, 张小刚, 王月祥 下载量: 684 浏览量: 1,316
应用物理 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/APP.2022.125035 被引量
大初值有界区域可压缩液晶方程组强解的爆破准则Blow-Up Criteria for Strong Solutions of Compressible Liquid Crystal Equations in Large Initial Bounded Region
覃立成 下载量: 938 浏览量: 1,196
应用数学进展 Vol.9 No.1, January 14 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.91009 被引量