分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 915 浏览量: 2,776
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
程序性细胞死亡在葡萄膜黑色素瘤中的研究进展Research Advances in Programmed Cell Death in Uveal Melanoma
钟恩宇, 曹 阳 下载量: 213 浏览量: 331
世界肿瘤研究 Vol.13 No.2, April 18 2023, PDF, , DOI:10.12677/WJCR.2023.132009 被引量
避雷器在线监测装置现场校验系统的研发Design and Development of AN Automatic Calibration System for Voltage Dividers
张 露, 李进扬, 王永勤, 贺家慧, 吴 彤, 邵华锋, 李小双 下载量: 981 浏览量: 2,203
电气工程 Vol.7 No.1, March 19 2019, PDF, HTML, XML DOI:10.12677/JEE.2019.71006 被引量
海洋沉积物重金属污染评价方法研究 Assessment Methods of Heavy Metal Pollution in Marine Sediment
刘 超, 刘淑君, 孟 莎, 李 超, 周 斌 下载量: 752 浏览量: 2,079 科研立项经费支持
海洋科学前沿 Vol.7 No.4, December 22 2020, PDF, HTML, XML DOI:10.12677/AMS.2020.74014 被引量
导管架裙桩夹桩器卡爪国产化材料应用研究Research on the Application of Domestic Materials of Skirt Pile Gripper Claw of Jacket
刘顺庆, 刘 涛, 李 军, 胡 苏, 邵国庆 下载量: 624 浏览量: 1,880
机械工程与技术 Vol.9 No.2, March 30 2020, PDF, HTML, XML DOI:10.12677/MET.2020.92007 被引量
信息心理学挑战物质心理学:理由、途径与策略Informational Psychology Challenges Material Psychology: The Reasons, Approach and Strategy
李宗荣 下载量: 2,257 浏览量: 4,297
社会科学前沿 Vol.4 No.4, December 21 2015, PDF, , XML DOI:10.12677/ASS.2015.44042 被引量
响应面法优化液态聚铁产品制备条件Optimization of Preparation Conditions for Liquid Polymeric Ferric Sulfate by Response Surface Analysis
梁家皆, 王 伟, 刘 晖, 王恩感, 钟玉鸣, 李义勇, 罗开练 下载量: 769 浏览量: 3,882 国家自然科学基金支持
环境保护前沿 Vol.10 No.1, February 21 2020, PDF, HTML, XML DOI:10.12677/AEP.2020.101010 被引量
茶叶籽成分综合提取工艺研究Study on Comprehensive Extraction Process of Various Compositions in Tea Seed
袁宏莉, 杨雨荣, 潘柔柔, 杨再琴, 陈 康, 曹剑锋, 孟泽彬 下载量: 350 浏览量: 553 科研立项经费支持
植物学研究 Vol.11 No.3, May 31 2022, PDF, HTML, XML DOI:10.12677/BR.2022.113040 被引量
核电厂严重事故管理指南(SAMG)实施阶段若干问题的思考与建议 Issues Associated with SAMG in the Implement Phase and Relative Advices
杨志义, 张佳佳, 冯进军, 李春, 种毅敏 下载量: 2,953 浏览量: 8,737 科研立项经费支持
核科学与技术 Vol.2 No.3, July 15 2014, PDF, , DOI:10.12677/NST.2014.23005 被引量
环境评价方法及其在矿区生态治理中的应用Environmental Assessment Method and Its Application in Ecological Management of Mining Area
李 刚 下载量: 337 浏览量: 481
世界生态学 Vol.11 No.4, November 28 2022, PDF, HTML, XML DOI:10.12677/IJE.2022.114060 被引量