1993年第4卷第5期目录
面向对象系统软件的分层构造模型章远阳,杨芙清,邵维忠;1993,4(5):1-5 [摘要(3658)] [PDF(4377)378.42 K][HTML(0)]LogC智能推理语言和环境冯玉琳,黄涛,王太权1993,4(5):6-10 [摘要(3813)] [PDF(4085)353.13 K][HTML(0)]基于拓扑法的多关节机械手无碰路径规划李永成,张钹1993,4(5):11-16 [摘要(3865)] [PDF(4824)369.40 K][HTML(0)]程序变换在程序语言中的一种表示——兼论变换型语言张乃孝1993,4(5):17-23 [摘要(3737)] [PDF(4072)433.83 K][HTML(0)]面向对象的语义关联数据模型理论古新生,陈清1993,4(5):24-37 [摘要(4015)] [PDF(4639)820.05 K][HTML(0)]协议自动验证的可靠策略温涛,刘积仁,李华天1993,4(5):38-45 [摘要(3825)] [PDF(4230)552.42 K][HTML(0)]复杂对象及其并发控制徐庆云,王能斌,陈钢1993,4(5):46-50 [摘要(3634)] [PDF(4099)358.33 K][HTML(0)]一个测试程序自动生成器的设计与实现胡正国,朱志强1993,4(5):58-62 [摘要(3542)] [PDF(4267)355.57 K][HTML(0)]关于一个串为正则语言中某串的子串的判定算法庄雷1993,4(5):63-64 [摘要(3204)] [PDF(3898)147.58 K][HTML(0)]
解释学习进展石纯一,黄毅青1993,4(5):51-57 [摘要(7032)] [PDF(6265)493.49 K][HTML(0)]