1995年第6卷第7期目录
Smalltalk－80的指称语义研究李舟军,王兵山1995,6(7):385-390 [摘要(3781)] [PDF(4526)377.59 K][HTML(0)]一种双向求解平行结构类问题的方法胡蓬,石纯一,王克宏1995,6(7):391-398 [摘要(3431)] [PDF(4422)495.21 K][HTML(0)]分布式程序设计语言DC及其在松散耦合分布式环境中的实现田籁声,黄莲淑,夏滨1995,6(7):399-406 [摘要(3959)] [PDF(4540)477.85 K][HTML(0)]合成语言FOPL基于方程逻辑的语义梅宏,孙永强1995,6(7):407-415 [摘要(3751)] [PDF(4325)547.07 K][HTML(0)]正则语言的特征性质叶瑞芬,沈百英1995,6(7):416-419 [摘要(3837)] [PDF(4884)276.81 K][HTML(0)]货郎担问题的几何解法周培德1995,6(7):420-424 [摘要(4195)] [PDF(5780)294.14 K][HTML(0)]基于广义归结的定理机器证明系统程晓春,孙吉贵,刘叙华1995,6(7):425-428 [摘要(3836)] [PDF(5265)288.13 K][HTML(0)]基于任务图的一种并行程序设计方法（Ⅱ）─—选择拓扑结构吴巧泉,沈平,张德富1995,6(7):429-434 [摘要(3684)] [PDF(4463)415.85 K][HTML(0)]地图自动识别系统中按颜色分层的算法及实现冯玉才,宋恩民,孙小薇,刘宏1995,6(7):435-439 [摘要(4042)] [PDF(4908)397.08 K][HTML(0)]多层前馈神经网络的学习和综合算法张铃,吴福朝,张钹,韩玫1995,6(7):440-448 [摘要(4008)] [PDF(4708)519.21 K][HTML(0)]
