命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 543 浏览量: 5,410 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
反垄断民事纠纷可仲裁之理论证成 Theoretical Proof of Arbitrability in Antitrust Civil Disputes
黄 湉 下载量: 142 浏览量: 251
争议解决 Vol.10 No.2, February 26 2024, PDF, HTML, XML DOI:10.12677/DS.2024.102132 被引量
GDX1&GDX500包装机防拉带跳槽装置设计应用Design and Application of GDX1&GDX500 Packaging Machine Pull-Proof Belt Jumper
张晓斌, 姚 劲, 荣子超 下载量: 763 浏览量: 1,348
仪器与设备 Vol.7 No.4, December 19 2019, PDF, HTML, XML DOI:10.12677/IaE.2019.74034 被引量
660阶单群同构于PSL(2,11)的初等群论证明An Elementary Proof that the Simple Group of Order 660 Is Isomorphism to PSL(2,11
周 峰, 徐 涛, 刘合国 下载量: 3,507 浏览量: 8,566 科研立项经费支持
理论数学 Vol.3 No.4, July 10 2013, PDF, , DOI:10.12677/PM.2013.34036 被引量
360阶单群同构于A6的初等群论证明An Elementary Proof That a Simple Group of Order 360 Is Isomorphism to A6
周 峰, 徐行忠, 廖 军, 刘合国 下载量: 3,010 浏览量: 10,204 国家自然科学基金支持
理论数学 Vol.4 No.1, January 24 2014, PDF, , DOI:10.12677/PM.2014.41006 被引量
第二积分中值定理的一个非常规证明An Unconventional Proof of the Second Integral Mean Value Theorem
刘 波, 刘孝磊, 王丽英 下载量: 658 浏览量: 1,142
应用数学进展 Vol.9 No.11, November 20 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911227 被引量
有序序列搜索问题最快算法为二分法的一个理论证明A Theoretical Proof of Dichotomy as the Fastest Algorithm for Sequential Search Problem
刘耕滔 下载量: 534 浏览量: 847
应用数学进展 Vol.10 No.3, March 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.103079 被引量
李雅普诺夫第二方法的合理性暨证明The Rationality and Proof of Lyapunov’s Se-cond Method
孔志宏 下载量: 414 浏览量: 720
理论数学 Vol.12 No.7, July 8 2022, PDF, HTML, XML DOI:10.12677/PM.2022.127124 被引量
目的证成下的合同履行障碍解决机制Purpose Proof into the Contract Performance Obstacle Resolution Mechanism
吕瑞峰 下载量: 246 浏览量: 336
社会科学前沿 Vol.11 No.10, October 12 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.1110569 被引量
论康德纯粹理性批判中的本体论证明On Ontological Proof in Kant’s Critique of Pure Reason
李晓慧 下载量: 333 浏览量: 608
哲学进展 Vol.11 No.6, December 16 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.116329 被引量