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