计算机应用与软件2007，Vol.24Issue(8)：41-43,3.
自动推理中反证法的研究
RESEARCH ON REDUCTION TO ABSURDITY IN AUTOMATIC REASONING
摘要
关键词
规则/几何信息/搜索法/谓词/反证法分类
信息技术与安全科学引用本文复制引用
郭四稳,李传中..自动推理中反证法的研究[J].计算机应用与软件,2007,24(8):41-43,3.基金项目
广州市科技局重点支持项目(项目号:2004Z1-D0091). （项目号:2004Z1-D0091）
