分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 912 浏览量: 2,773
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
论《尼各马可伦理学》中的“明智”概念On the Concept of “Wisdom” in Nicomachean Ethics
舒 彤 下载量: 203 浏览量: 430
心理学进展 Vol.14 No.1, January 23 2024, PDF, HTML, XML DOI:10.12677/AP.2024.141032 被引量
从神话角度比较中西法律文化的价值取向To Compare the Value Orientation of Chinese and Western Legal Cultures from the Perspective of Mythology
李盈盈 下载量: 122 浏览量: 218
争议解决 Vol.10 No.5, May 15 2024, PDF, HTML, XML DOI:10.12677/ds.2024.105256 被引量
基于Taguchi方法的乒乓球场照明设计对于场地照明均匀度影响的研究The Study of Illumination for Table Tennis Venue Influenced by Illumination Design Based on Taguchi Method
王至知, 马丙戌, 焦飞宇, 张 博, 卢允乐 下载量: 431 浏览量: 662
光电子 Vol.12 No.1, March 31 2022, PDF, HTML, XML DOI:10.12677/OE.2022.121005 被引量
一类积分不等式的证明及其应用A Class of Integral Inequalities and Their Applications
王红青 下载量: 152 浏览量: 286
理论数学 Vol.13 No.12, December 27 2023, PDF, HTML, XML DOI:10.12677/PM.2023.1312374 被引量
昆明市主城区城市森林建设定量评价The Quantitative Evaluation of Urban Forest Construction in Kunming City
张 琴 下载量: 2,711 浏览量: 8,114 科研立项经费支持
地理科学研究 Vol.4 No.3, August 18 2015, PDF, , XML DOI:10.12677/GSER.2015.43014 被引量
多囊卵巢综合征患者助孕方式的研究新进展Research Progress of Assisted Pregnancy in Patients with Polycystic Ovary Syndrome
厉彦平, 腊晓琳 下载量: 236 浏览量: 345
临床医学进展 Vol.13 No.3, March 28 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.133661 被引量
甲状腺自身免疫对辅助生殖技术结局的影响的研究进展Progress in Investigating the Impact of Thyroid Autoimmunity on Assisted Reproductive Technology Outcomes
贺宇轩, 腊晓琳 下载量: 328 浏览量: 431
临床医学进展 Vol.13 No.2, February 22 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.132352 被引量
面向工业照明系统的智能网关设计Intelligent Gateway Design for Industrial Lighting System
庞小林, 陈 星, 袁 军 下载量: 1,743 浏览量: 3,204
软件工程与应用 Vol.7 No.3, May 15 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.73014 被引量
肠膜明串珠菌基因失活体系的建立Construction of Gene Inactivation System for Leuconostoc mesenteroides
莒晓艳, 张 舟, 成文玉, 金红星 下载量: 2,743 浏览量: 11,122 科研立项经费支持
微生物前沿 Vol.3 No.3, October 7 2014, PDF, , DOI:10.12677/AMB.2014.33007 被引量