软件学报
来源：本站原创 更新：2016/8/28 字体：
大 小
.jpg)
紧凑(a,b)树
张希,李万学自动文摘系统EAAS
李小滨,徐越PARLOG顺序编译实现技术
郑纬民,杨和平证明策略及其有效性问题
何锫建立于谓词逻辑上的递归程序及其操作语义
邵志清一个支持软件重用的信息检索系统—KDZ
张少平,王怀民,陈火旺模块硅编译专家系统—SCES
杨乔林KBE—Pascal:基于知识的程序编辑
郑国梁,唐清面向概念的通用知识获取系统
王申康软件学报1990年总目录
软件学报1991年总目录
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
