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