软件学报
来源：本站原创 更新：2016/8/28 字体：
大 小
.jpg)
Smalltalk－80的指称语义研究
李舟军，王兵山一种双向求解平行结构类问题的方法
胡蓬，石纯一，王克宏分布式程序设计语言DC及其在松散耦合分布式环境中的实现
田籁声，黄莲淑，夏滨合成语言FOPL基于方程逻辑的语义
梅宏，孙永强正则语言的特征性质
叶瑞芬，沈百英货郎担问题的几何解法
周培德基于广义归结的定理机器证明系统
程晓春，孙吉贵，刘叙华基于任务图的一种并行程序设 论文QQ81995535 计方法（Ⅱ)─—选择拓扑结构
吴巧泉，沈平，张德富地图自动识别系统中按颜色分层的算法及实现
冯玉才，宋恩民，孙小薇，刘宏多层前馈神经网络的学习和综合算法
张铃，吴福朝，张钹，韩玫
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
