分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 821 浏览量: 2,587
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
一锅法合成艾地苯醌One-Pot Synthesis of Idebenone
仇永富, 卢斌, 严燚宇, 汤倩, 张天丽, 何郁焙, 罗婉悦, 赵岩, 祁实, 田建华, 王金, 高振秋, 卞勋光 下载量: 1,121 浏览量: 2,638
有机化学研究 Vol.7 No.1, March 28 2019, PDF, HTML, XML DOI:10.12677/JOCR.2019.71006 被引量
优化的振动不敏感球形参考腔An Improved Vibration-Insensitive Spherical Optical Cavity
任立庆, 许冠军, 王兆华, 刘孝丽, 李凡, 邓仲勋, 李小龙, 李增生, 刘 涛 下载量: 1,535 浏览量: 2,907 科研立项经费支持
现代物理 Vol.8 No.2, March 27 2018, PDF, HTML, XML DOI:10.12677/MP.2018.82005 被引量
基于原位红外技术的Co3O4/CeO2催化剂低温催化甲苯研究Study on Low-Temperature Catalysis of Toluene with Co3O4/CeO2 Catalyst Based on In-Situ DRIFT Technology
李一林, 汪黎东, 刘 鹏 下载量: 552 浏览量: 2,107
化学工程与技术 Vol.11 No.3, May 12 2021, PDF, HTML, XML DOI:10.12677/HJCET.2021.113020 被引量
氧应激与心肌肥厚Oxygen Stress and Cardiomyocytes Hypertrophy
周伟民, 叶振坤 下载量: 2,993 浏览量: 14,633 国家自然科学基金支持
生理学研究 Vol.3 No.1, February 25 2015, PDF, , XML DOI:10.12677/JPS.2015.31001 被引量
维生素K对帕金森病的影响Impact Factor of Vitamin K on Parkinson’s Disease
张春莉, 李红燕 下载量: 162 浏览量: 251
临床医学进展 Vol.13 No.12, December 8 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.13122650 被引量
靶向铁死亡防治重大疾病研究进展Research Progress on Targeting Ferroptosis to Prevent and Treat Major Diseases
刘耀东 下载量: 58 浏览量: 85
临床医学进展 Vol.14 No.4, April 26 2024, PDF, HTML, XML DOI:10.12677/acm.2024.1441260 被引量