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