共查询到20条相似文献,搜索用时 14 毫秒
1.
2.
《计算机辅助设计与图形学学报》1990,(4)
第一期硬件设计的形式验证与时态辑逻····························································································……韩俊刚(1)电路图的自动生成技术··············、···············································,·············~···············……杨峥嵘姚林声(7)图形用户接口设计环境GUIDE一GKS一一个用户接口… 相似文献
3.
4.
5.
6.
7.
8.
9.
《计算机研究与发展》1992,(12)
第一期页玛面向对象的概念化个体分类结构的设计和实现··················,·················……黄河燕陈肇雄张祥高卫明龙萍叹1)非单调推理的三大特征··································,·······························,···························,········一王献昌陈火旺(了)NcFw专家系统的汉语接口····4·······4····························… 相似文献
10.
11.
12.
13.
14.
15.
16.
《计算机辅助设计与图形学学报》2003,(3)
(以姓氏笔划为序 )顾 问 Consultant王守觉 WangShoujue 王阳元 WangYangyuan李国杰 LiGuojie 张效祥 ZhangXiaoxiang苏步青 SuBuqing 陈俊亮 ChenJunliang倪光南 NiGuangnan 顾冠群 GuGuanqun主 编 EditorinChief刘慎权 LiuShenquan副主编 AssociateEditorsinChief刘明业 LiuMingye 李 华 LiHua唐泽圣 TangZesheng 唐荣锡 TangR… 相似文献
17.
18.
19.
20.