李迎豪
【姓名】 李迎豪
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 PROLOG,连接法,自动定理证明,定理证明系统,一致化,子目标,S连接,设计与实现,子句,功能符,矩阵,一阶逻辑,抽象数据类型,合一替换,逻辑程序,源程序,S系统,PROLOG程序,归结法,PROL...
【工作单位】 上海科技大学
【曾工作单位】 上海科技大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 1 0 0 1 16
中国期刊全文数据库    共找到3篇
[1]朱关铭,缪淮扣,甘小平,苗巍山,李迎豪.SUST—PROLOG/4361系统的设计与实现[J]计算机工程.1989,(04)
[2]缪淮扣,朱关铭,李迎豪.SUST-PROLOG/4361系统中的模块化设计及其实现[J]计算机应用与软件.1991,(04)
[3]缪淮扣,李迎豪,吴茂康.COMPS连接法定理证明系统[J]计算机工程.1993,(03)
更多