计算机应用研究2005，Vol.22Issue(1)：41-43,46,4.
改进γ公式的表推演推理方法研究
Tableau Reasoning Method with an Improved γ Formulae
摘要
关键词
γ公式/表推演/实现分类
信息技术与安全科学引用本文复制引用
刘全,孙吉贵,于万钧..改进γ公式的表推演推理方法研究[J].计算机应用研究,2005,22(1):41-43,46,4.基金项目
国家自然科学基金资助项目(600703039) （600703039）
教育部骨干教师基金资助项目 （）
吉林省自然科学基金资助项目(2000540) （2000540）
