童梅
【姓名】 童梅
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 抽象解释,逻辑程序设计,模式信息,解释系统,变量分离,算法,Prolog,结构共享,变量,例化,基项,自由变量,起始位置,谓词调用,变量项,解释器,约束链,谓词,复制技术,子句,
【工作单位】 北京工业大学
【曾工作单位】 北京工业大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 1 2 0 59
中国期刊全文数据库    共找到2篇
[1]童梅.模式信息在Prolog解释系统中的应用[J]北京工业大学学报.1994,(02)
[2]童梅，刘椿年.逻辑程序的自动模式推导[J]计算机研究与发展.1996,(02)
更多