王立国
【姓名】 王立国
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 SPEC,子目标,结构归纳法,自动编程技术,结构式程序,逻辑程序,规范推导,不确定型,程序综合,自动综合,基于规范,归纳基础,递归程序,SCHEMA,规范树,谓词,知识库,空表,图式,子程序,良构,归...
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 1 1 0 36
中国期刊全文数据库    共找到1篇
[1]王立国.不确定型逻辑程序的综合[J]软件学报.1990,(01)
更多