基于Gödel蕴涵算子的新型 <em>α</em>-三I算法

SHUANG Jingning, HUI Xiaojing, HE Jinrui

Journal of Frontiers of Computer Science and Technology . 2015, (12): 1531 -1536 . DOI: 10.3778/j.issn.1673-9418.1503045