朱关铭
【姓名】 朱关铭
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 谓词,逻辑程序,正确定,变换规则,PROLOG,规范说明,基本项,Form,定理证明器,限定符,连接法,抽象数据类型,组符,元谓词,程序综合,执行策略,新变量,子句,子目标,综合程序,下界,变量,归纳...
【工作单位】 上海科技大学
【曾工作单位】 上海科技大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/9 0 0 5 9 95
中国期刊全文数据库    共找到9篇
[1]朱关铭,甘小平.逻辑程序综合的一种方法[J]计算机工程.1986,(06)
[2]吴杰,朱关铭.综合程序系统SSS[J]计算机工程.1987,(03)
[3]朱关铭,缪淮扣.基于连接法定理证明器的PROLOG系统[J]计算机工程.1987,(05)
[4]朱关铭,苗巍山.抽象数据类型的PROLOG实现[J]计算机工程.1988,(01)
[5]朱关铭,缪淮扣,甘小平,苗巍山,李迎豪.SUST—PROLOG/4361系统的设计与实现[J]计算机工程.1989,(04)
[6]潘皞,朱关铭.形式化的程序综合方法及综合器NEAT[J]计算机应用与软件.1989,(02)
[7]朱关铭,缪淮扣.PROLOG系统中的一致化方法[J]计算机应用与软件.1990,(03)
[8]缪淮扣,朱关铭.基于一致化环境的回溯技术[J]计算机工程.1991,(03)
[9]缪淮扣,朱关铭,李迎豪.SUST-PROLOG/4361系统中的模块化设计及其实现[J]计算机应用与软件.1991,(04)
更多