k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国
应用数学进展Vol.11 No.11, 全文下载: PDF HTML XML DOI:10.12677/AAM.2022.1111817, November 10 2022
K-L-Nim博弈K-L-Nim Game
徐荣兴, 吕新忠, 田贵贤 国家自然科学基金支持
应用数学进展Vol.6 No.3, 全文下载: PDF HTML XML DOI:10.12677/AAM.2017.63027, May 22 2017
K-解析函数的洛必达法则L’Hospital Theorem of K-Analytic Functions
陈剑鹏, 潘燕婷, 孙钦秀, 李宏亮
理论数学Vol.10 No.6, 全文下载: PDF HTML XML DOI:10.12677/PM.2020.106073, June 28 2020
k-映射的指数定律Exponential Law of k-Mapping
顾钰晗 国家科技经费支持
应用数学进展Vol.11 No.8, 全文下载: PDF HTML XML DOI:10.12677/AAM.2022.118569, August 10 2022
海水胁迫下黄秋葵Na+、K+含量变化规律研究Study of the Change Regulation of Na+ and K+ Contents in Okra under Seawater Stress
刘 岩, 程玉静, 翟彩娇, 王小秋, 刘 畅, 谢冬微, 孙 健, 戴志刚 科研立项经费支持
植物学研究Vol.10 No.4, 全文下载: PDF HTML XML DOI:10.12677/BR.2021.104072, July 29 2021
k树的完美消除序列Perfect Elimination Orderings of k-Trees
王 蕾, 杨卫华
应用数学进展Vol.11 No.12, 全文下载: PDF HTML XML DOI:10.12677/AAM.2022.1112951, December 29 2022