一种论域递减式计算正区域方法

一种论域递减式计算正区域方法

姚光顺，马丽生，杨传健

Method of computing positive region by universe decrement

YAO Guang-shun，MA Li-sheng，YANG Chuan-jian

计算机工程与应用 . 2010, (23): 47 -49 . DOI: 10.3778/j.issn.1002-8331.2010.23.013