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