张秀珍
【姓名】 张秀珍
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 部分演绎,求解器,CLP（R）,存储优化技术,约束逻辑程序设计,约束求解器,定义子句,推理机,PROLOG,行栈,原子公式,末端结点,进栈,子目标,协调技术,谓词,栈顶,栈元素,数据流信息,抽象解释,...
【工作单位】 北京工业大学
【曾工作单位】 北京工业大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 2 11 80
中国期刊全文数据库    共找到2篇
[1]张秀珍，刘椿年.CLP（R）程序部分演绎的研究[J]计算机研究与发展.1996,(05)
[2]张秀珍，刘椿年.CLP系统中推理机与约束求解器的协调技术[J]软件学报.1996,(07)
更多