命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 547 浏览量: 5,426 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 708 浏览量: 1,067
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
二阶锥三角函数及其相关公式Correlation Formulas of Trigonometric Functions Associated with Second-Order Cone
张 燕, 郝自军, 余国林 下载量: 2,152 浏览量: 4,992 国家自然科学基金支持
理论数学 Vol.6 No.3, May 19 2016, PDF, , XML DOI:10.12677/PM.2016.63031 被引量
不同眼轴选择人工晶状体计算公式的研究进展Research Progress on Selecting IOL Calculation Formulas with Different Axial Length
刘岭昆, 穆启睿, 刘豫宁, 刘湘云, 赵春梅 下载量: 355 浏览量: 627
临床医学进展 Vol.13 No.3, March 21 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.133582 被引量
角膜曲率对人工晶状体屈光度计算公式在高度近视伴后巩膜葡萄肿白内障中的影响研究The Effect of Corneal Curvature on Intraocular Lens Power Calculation Formulas in Cataract of High Myopia with Posterior Staphyloma
刘桂波, 刘文文, 冷 林 下载量: 1,053 浏览量: 1,774 科研立项经费支持
临床医学进展 Vol.9 No.3, March 11 2019, PDF, HTML, XML DOI:10.12677/ACM.2019.93043 被引量
LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,055 浏览量: 5,715
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
三角形切心(格尔刚点)的坐标公式及向量恒等式Coordinate Formulas and Vector Identities of Gergonne Points in Triangular (预印本)
李兴源 下载量: 555 浏览量: 1,233
汉斯预印本 Vol.5 No.1, July 30 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51024 被引量
正多面体的七种不同类型的着色公式Seven Different Types of Coloring Formulas for Regular Polyhedrons
肖仁兵 下载量: 601 浏览量: 1,620
理论数学 Vol.10 No.5, May 25 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105066 被引量
成员目标互赖、交互记忆会影响巴林特小组心理疏导效能吗?—理论演绎与命题推导Will Goal Interdependence and Transactive Memory Affect the Effectiveness of Psychological Counseling in Balint Group?—Theoretical Inference and Propositional Deduction
范冠华, 张倍恩 下载量: 1,096 浏览量: 1,507 国家科技经费支持
心理学进展 Vol.8 No.7, July 24 2018, PDF, HTML, XML DOI:10.12677/AP.2018.87124 被引量
直线与三维固定网格的交线长度与索引公式计算Formulas of the Length and Index for the Intersection of a Line and a Fixed Grid in Three-Dimensional Space
张晓媛, 王彩芳, 殷绪导, 徐兆亮 下载量: 1,748 浏览量: 3,882 国家自然科学基金支持
应用数学进展 Vol.6 No.4, July 18 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.64059 被引量