梁群
【姓名】 梁群
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】 人工智能方面的研究工作
【发表文献关键词】 二阶,子句,项重写技术,布尔方程,逻辑自动编程,假说演算,Horn子句,子程序,基例,布尔表达式,原子谓词,正例,背景知识,元知识,谓词变元,逻辑程序,归结式,子域,程序综合,计算机学报,
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 0 20
中国期刊全文数据库    共找到1篇
[1]孙怀民,梁群.基于二阶项重写技术的逻辑自动编程理论[J]计算机学报.1993,(03)
更多