函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用
吴洪博, 王伦磊
Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R0 Propositional Logic System
WU Hong-bo, WANG Lun-lei
电子学报 . 2016, (8): 1909 -1914 .  DOI: 10.3969/j.issn.0372-2112.2016.08.020