当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录3条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 一种逻辑强化学习的tableau推理方法 刘全;崔志明;高阳;陈道蓄;姚望舒; 智能系统学报 2008 0 22
2 一种基于启发式轮廓表的逻辑强化学习方法 刘全;高阳;陈道蓄;孙吉贵;姚望舒; 计算机研究与发展 2008 0 38
3 一阶逻辑公式自动推演前的预处理 王炜程;刘全; 苏州大学学报(自然科学版) 2009 0 0