孙怀民
【姓名】 孙怀民
【职称】 教授;
【研究领域】 计算机软件及计算机应用;数学;
【研究方向】 计算逻辑、人工智能方面的研究工作
【发表文献关键词】 子目标,结构归纳法,假说演算,自动编程技术,二阶,项重写,发现逻辑,关系变元,PN合一,证伪方法论,BN合一,子句,项重写系统,项重写技术,布尔方程,自动综合,逻辑自动编程,归纳基础,方法论,证伪方法...
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 4 3 2 1 73
中国期刊全文数据库    共找到4篇
[1]孙怀民,梁群.基于项重写技术的机器发现逻辑[J]中国科学(A辑 数学 物理学 天文学 技术科学).1992,(10)
[2]姜涛;孙怀民;.dbtools:一个基于Sunview环境的Prolog调试器[J]计算机研究与发展.1992,(04)
[3]谢康,孙怀民.基于Lakatos证伪方法论的机器发现逻辑[J]北京航空航天大学学报.1992,(03)
[4]孙怀民,梁群.基于二阶项重写技术的逻辑自动编程理论[J]计算机学报.1993,(03)
更多