质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,194 浏览量: 4,189
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
两类布尔函数的OBDD阶The OBDD Orders of Two Types of Boolean Functions
张媛, 江建国, 胡晓璐 下载量: 995 浏览量: 3,396
软件工程与应用 Vol.7 No.6, December 27 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.76032 被引量
围生期心肌病合并阿斯综合征发作1例报道Peripartum Cardiomyopathy Complicated with Adams-Stokes Syndrome: A Case Report
胡晓璐, 杨俊杰, 罗健英 下载量: 188 浏览量: 315
临床医学进展 Vol.12 No.1, January 29 2022, PDF, HTML, XML DOI:10.12677/ACM.2022.121091 被引量
益生元、益生菌作用于变应性鼻炎的研究现状Research Status of Effect of Prebiotics and Probiotics on Allergic Rhinitis
白 乐, 柳林整 下载量: 312 浏览量: 462
临床医学进展 Vol.12 No.8, August 3 2022, PDF, HTML, XML DOI:10.12677/ACM.2022.1281019 被引量