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