甘小平
【姓名】 甘小平
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 PROLOG,谓词,逻辑程序,正确定,规范说明,基本项,一致化,Form,子目标,设计与实现,功能符,子句,抽象数据类型,一阶逻辑,归纳假设,当且仅当,源程序,一阶公式,PROLOG程序,PROLOG...
【工作单位】 上海科技大学
【曾工作单位】 上海科技大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 0 0 0 2 21
中国期刊全文数据库    共找到2篇
[1]朱关铭,甘小平.逻辑程序综合的一种方法[J]计算机工程.1986,(06)
[2]朱关铭,缪淮扣,甘小平,苗巍山,李迎豪.SUST—PROLOG/4361系统的设计与实现[J]计算机工程.1989,(04)
更多