基于含参量蕴涵算子的三I算法
张凤霞 1,吕建新 2,张兴芳 1,宋 颖 1
Triple I methods based on parametric-implication operators
ZHANG Feng-xia 1,LV Jian-xin 2,ZHANG Xing-fang 1,SONG Ying 1
计算机工程与应用 . 2007, (24): 85 -87 .