| |
1993年第4卷第5期目录
本期目录 | | | 面向对象系统软件的分层构造模型 | | | 章远阳,杨芙清,邵维忠; | | | 1993,4(5):1-5 | | | [摘要](4508) [PDF 378.42 K](6108) | | | LogC智能推理语言和环境 | | | 冯玉琳,黄涛,王太权 | | | 1993,4(5):6-10 | | | [摘要](4688) [PDF 353.13 K](5744) | | | 基于拓扑法的多关节机械手无碰路径规划 | | | 李永成,张钹 | | | 1993,4(5):11-16 | | | [摘要](4898) [PDF 369.40 K](6465) | | | 程序变换在程序语言中的一种表示——兼论变换型语言 | | | 张乃孝 | | | 1993,4(5):17-23 | | | [摘要](4472) [PDF 433.83 K](5620) | | | 面向对象的语义关联数据模型理论 | | | 古新生,陈清 | | | 1993,4(5):24-37 | | | [摘要](4871) [PDF 820.05 K](6202) | | | 协议自动验证的可靠策略 | | | 温涛,刘积仁,李华天 | | | 1993,4(5):38-45 | | | [摘要](4763) [PDF 552.42 K](5964) | | | 复杂对象及其并发控制 | | | 徐庆云,王能斌,陈钢 | | | 1993,4(5):46-50 | | | [摘要](4429) [PDF 358.33 K](5615) | | | 一个测试程序自动生成器的设计与实现 | | | 胡正国,朱志强 | | | 1993,4(5):58-62 | | | [摘要](4536) [PDF 355.57 K](5888) | | | 关于一个串为正则语言中某串的子串的判定算法 | | | 庄雷 | | | 1993,4(5):63-64 | | | [摘要](4233) [PDF 147.58 K](5478) | |
综述文章
|
