LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,048 浏览量: 5,659
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 314 浏览量: 458
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,357 浏览量: 7,278
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
妊娠中期子宫嵌顿致急性尿潴留、子宫脱垂1例并文献复习Urinary Retention, Uterine Prolapse Caused by Uterine Incarceration in the Second Trimester of Pregnancy: A Case Report and Literature Review
段莹莹, 李美燕, 宋志双, 王福玲 下载量: 467 浏览量: 707
临床医学进展 Vol.11 No.3, March 18 2021, PDF, HTML, XML DOI:10.12677/ACM.2021.113157 被引量
基于布尔匹配规则的实体解析方法Entity Resolution Based on Boolean Matching Rules
褚良旭, 李 贵, 李征宇, 韩子扬, 曹科研 下载量: 491 浏览量: 875
数据挖掘 Vol.11 No.2, April 28 2021, PDF, HTML, XML DOI:10.12677/HJDM.2021.112012 被引量
慢性乙型肝炎患者肝脏脂肪变性无创诊断方法的比较Comparison of Non-Invasive Diagnostic Tools for Steatosis of Chronic Hepatitis B
鲁景楠, 屈兆宇, 温 雅 下载量: 397 浏览量: 554
临床医学进展 Vol.13 No.7, July 11 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.1371522 被引量
慢性乙型肝炎患者肝脏脂肪变性无创诊断方法的研究进展Research Progress of Non-Invasive Diagnostic Methods for Hepatic Steatosis in Patients with Chronic Hepatitis B
鲁景楠, 李建龙 下载量: 385 浏览量: 573
临床医学进展 Vol.12 No.8, August 11 2022, PDF, HTML, XML DOI:10.12677/ACM.2022.1281068 被引量
凸面式探头超声支气管镜的研究进展Research Progress of Convex Probe Endobronchial Ultrasond
郑 丽, 江德鹏 下载量: 362 浏览量: 592
临床医学进展 Vol.11 No.12, December 13 2021, PDF, HTML, XML DOI:10.12677/ACM.2021.1112843 被引量
慢性子宫内膜炎的中西医治疗进展Progress in the Treatment of Chronic Endometritis with Traditional Chinese and Western Medicine
王雨静 下载量: 313 浏览量: 6,480
临床医学进展 Vol.13 No.10, October 25 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.13102366 被引量
宫颈高级别鳞状上皮内病变发生相关因素的研究进展Research Progress on Related Factors of Cervical High-Grade Squamous Intraepithelial Lesions
王红颖, 陈志芳 下载量: 154 浏览量: 232
临床医学进展 Vol.13 No.12, December 29 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.13122888 被引量