姜涛
【姓名】 姜涛
【职称】
【研究领域】 仪器仪表工业;计算机软件及计算机应用;机械工业;
【研究方向】
【发表文献关键词】 假说演算,类型一阶理论,逻辑程序自动设计,逻辑自动编程,逻辑程序,关系数据库,程序变换,自动设计,正例,子句,输入集,自动生成,Prolog,图式,输出集,流型,假说,数据库应用系统,SQL语句,原子...
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 2 1 3 5 124
中国期刊全文数据库    共找到2篇
[1]姜涛，孙怀民.基于类型一阶理论的逻辑自动编程[J]软件学报.1994,(11)
[2]姜涛.关系数据库的自动生成与维护[J]北京航空航天大学学报.1992,(03)
更多
中国重要会议全文数据库    共找到1篇
[1]姜涛;.压气机叶尖几何对叶尖泄漏流动影响数值模拟研究[A].北京力学会第二十二届学术年会会议论文集.2016-01-09
更多