袁晓刚
【姓名】 袁晓刚
【职称】
【研究领域】 自动化技术;
【研究方向】
【发表文献关键词】 广义归结,空间复杂度,谓词公式,真假值,谓词,定理机器证明,零子,庸医,原理,子问题,定理证明系统,归结原理,逻辑谓词,逻辑结果,归结方法,复杂度,机器证明,连接关系,逻辑公式,王湘,
【工作单位】 大连理工大学
【曾工作单位】 大连理工大学;
【所在地域】 大连
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 0 3 124
中国期刊全文数据库    共找到1篇
[1]王树义,袁晓刚.降低广义归结原理空间复杂度方法的研究[J]现代计算机(专业版).2001,(03)
更多