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