| | 1995年第6卷第3期目录
本期目录 | | | 一种智能译后编辑器的设计及其实现算法 | | | 黄河燕,陈肇雄 | | | 1995,6(3):129-135 | | | [摘要](4446) [PDF 520.61 K](5455) | | | PROLOG—DBMS系统实现中的子句间优化技术 | | | 李磊,左万历,李希春 | | | 1995,6(3):136-141 | | | [摘要](4823) [PDF 365.42 K](5755) | | | 一种基于形式化描述的测试序列生成改进方法 | | | 张立东,刘积仁,李华天 | | | 1995,6(3):142-147 | | | [摘要](4137) [PDF 390.82 K](5405) | | | 超级媒体动态链接的开放模型 | | | 钟玉琢,冉建国 | | | 1995,6(3):148-154 | | | [摘要](4296) [PDF 486.51 K](5408) | | | A*树搜索算法代价与误差关系的研究 | | | 金海,谢卫 | | | 1995,6(3):155-158 | | | [摘要](4422) [PDF 271.69 K](5379) | | | 专用实时母系统与实时屏幕管理 | | | 邢国光,范植华,许博义 | | | 1995,6(3):159-163 | | | [摘要](3979) [PDF 347.97 K](5188) | | | 类比转换原理及其实现 | | | 李波,罗玉龙,赵沁平 | | | 1995,6(3):164-172 | | | [摘要](4438) [PDF 564.40 K](5389) | | | 自然地形环境下移动机器人的一种路径规划方法 | | | 王宏,王学福,张钹,孙家广 | | | 1995,6(3):173-178 | | | [摘要](4507) [PDF 367.04 K](5864) | | | 知识云及其在知识获取中的意义 | | | 曹存根 | | | 1995,6(3):179-185 | | | [摘要](4271) [PDF 496.88 K](5939) | | | 模拟式实时语义 | | | 韩燕 | | | 1995,6(3):186-192 | | | [摘要](3752) [PDF 445.32 K](4812) | |
|