%0 Journal Article
%T 决策表程序的推理规则
%A 钟珞
%J 武汉理工大学学报
%D 1990
%X ？本文给出了证明决策表程序正确性的推理规则,其中特别使用了决策表程序的层次结构和不可能规则。本文最后以证明冒泡分类算法例示了本文方法的使用情况。
%K 决策表
%K 正确性
%K 推理规则
%K 冒泡分类
%U http://www.whlgdxxb.com.cn//qikan/Cpaper/zhaiyao.asp?bsid=27604