计算机研究与发展 1995年 32卷 7期

栏目

选择全部

一个有语义理解的实验性保姆机器人规划系统的设计和实现

翁妙凤, 沈勇

1995, 32(7)

摘要

依概念编码的模式匹配技术

冯一明

1995, 32(7)

摘要

VAX／RGL的C语言接口设计

杨献春, 徐福培

1995, 32(7)

摘要

关于计算机汉字信息输入处理的一个新模型

谷文祥

1995, 32(7)

摘要

手写体汉字变形规律的机器发现

刘庆波, 何克仁

1995, 32(7)

摘要

带时间标记的鉴别协议的验证

孙亚民, 吴永森

1995, 32(7)

摘要

Pro树与Prolog程序追踪

刘育刚, 吕光楣

1995, 32(7)

摘要

论PANCAKE互连网的连通性

程岐, 朱洪, 吴京

1995, 32(7)

摘要

基于教学控制论的CAI模型

蔡新

1995, 32(7)

摘要

基于特征的三维参数化产品造型系统ZD－MCAD　Ⅱ

葛建新, 董金祥, 何志均

1995, 32(7)

摘要

用变换型方法模拟开发电话交换系统

屈婉玲, 张乃孝

1995, 32(7)

摘要

有限元网格划分技术

闵卫东, 唐泽圣

1995, 32(7)

摘要