首页>中文会议>其他>’94全国理论计算机科学年会

’94全国理论计算机科学年会

’94全国理论计算机科学年会

召开年：1994
召开地：长沙
出版时间： 1994-10

主办单位：中国计算机学会

会议文集：１９９４理论计算机科学进展论文集

会议论文

全选（0）

1.一种适用于属性文法的Ｔｏｍｉｔａ扩展算法
- 姚天方
- 《’94全国理论计算机科学年会》 | 1994年
- 算法;
2.对于象棋的不败算法
- 黄文奇
- 《’94全国理论计算机科学年会》 | 1994年
- 算法;
3.确定矩阵束λＢ－Ａ的Ｋｒｏｎｅｃｋｅｒ块结构的一种算法
- 张知难
- 《’94全国理论计算机科学年会》 | 1994年
- 算法;
4.一种公开钥密码体制的改进
- 吴逵
- 《’94全国理论计算机科学年会》 | 1994年
- 密码体制;
5.椭圆曲线密码体制
- 王潮
- 《’94全国理论计算机科学年会》 | 1994年
- 离散数学;
6.椭圆曲线密码体制实现研究
- 张引
- 《’94全国理论计算机科学年会》 | 1994年
- 离散数学;
7.智能机理与软计算
- 苏运霖
- 《’94全国理论计算机科学年会》 | 1994年
- 人工智能;
8.数量和量度的语义与智能人机界面
- 何明昕
- 《’94全国理论计算机科学年会》 | 1994年
- 人工智能;
9.一个多ａｇｅｎｔ系统模型
- 刘海燕
- 《’94全国理论计算机科学年会》 | 1994年
- 分布式计算机;
10.基于展开树的与或图搜索
- 王岩冰
- 《’94全国理论计算机科学年会》 | 1994年
- 状态空间;
11.ＫＮＵＴＨ——ＢＥＮＤＩＸ完备化过程的改进
- 王继民
- 《’94全国理论计算机科学年会》 | 1994年
- 完备化过程;
12.知识库的分块原则
- 高德荫
- 《’94全国理论计算机科学年会》 | 1994年
- 人工智能;
13.智能决策支持系统中的决策问题及其知识表示
- 袁捷
- 《’94全国理论计算机科学年会》 | 1994年
- 决策支持系统;
14.知识表示中的Ｃｏｎｔｅｘｔ
- 赵骏
- 《’94全国理论计算机科学年会》 | 1994年
- 人工智能;
15.一个基于时段的时态逻辑推理系统
- 程庆文
- 《’94全国理论计算机科学年会》 | 1994年
- 逻辑;
16.逻辑程序的广义不动点语义学
- 王克文
- 《’94全国理论计算机科学年会》 | 1994年
- 逻辑程序;
17.类比推理的逻辑研究
- 邱桂友
- 《’94全国理论计算机科学年会》 | 1994年
- 类比;
18.分划逻辑与树形自动机（Ａｐｒｅｌｉｍｉｎａｒｙｒｅｐｏｒｔ）
- 沈恩绍
- 《’94全国理论计算机科学年会》 | 1994年
- 逻辑;
- 自动机;
19.一种面向对象规范语言的语义
- 陈晓桦
- 《’94全国理论计算机科学年会》 | 1994年
- 语法;
20.一种新的算法程序设计方法初探
- 李云清
- 《’94全国理论计算机科学年会》 | 1994年
- 程序设计;
21.并行程序的流程图分析法
- 马军
- 《’94全国理论计算机科学年会》 | 1994年
- 程序设计;
22.面向流程图的结构化程序变换系统
- 冯翔
- 《’94全国理论计算机科学年会》 | 1994年
- 结构化程序设计;
23.抽象数据类型及其实现方法
- 薛超英
- 《’94全国理论计算机科学年会》 | 1994年
- 数据结构;
24.环（域）的程序设计语言与Ｔｕｒｉｎｇ机器计算
- 李祥
- 《’94全国理论计算机科学年会》 | 1994年
- 程序设计;
25.数学问题的算法设计
- 李廉
- 《’94全国理论计算机科学年会》 | 1994年
- 数学问题;
26.一类问题的并行算法
- 栾尚敏
- 《’94全国理论计算机科学年会》 | 1994年
- 并行处理;
27.广义ＨＡＮＯＩ塔问题及其最佳求解算法
- 张光铎
- 《’94全国理论计算机科学年会》 | 1994年
- 最优化算法;
28.求解非线性波方程孤立波解的一种算法
- 李志斌
- 《’94全国理论计算机科学年会》 | 1994年
- 算法;
29.动态灰色时序系统ＤＧＴＳ及其在安全策略规范中的应用
- 樊爱华
- 《’94全国理论计算机科学年会》 | 1994年
- 灰色系统;
30.分划逻辑与树形自动机（Ａｐｒｅｌｉｍｉｎａｒｙｒｅｐｏｒｔ）
- 沈恩绍
- 《’94全国理论计算机科学年会》 | 1994年
- 逻辑;
31.逻辑在计算机科学中的作用
- 贲可荣
- 《’94全国理论计算机科学年会》 | 1994年
- 逻辑;
32.多类命题动态逻辑系统及其应用
- 毋国庆
- 《’94全国理论计算机科学年会》 | 1994年
- 并行处理;
33.命题时态逻辑分裂消解方法及系统实现技术
- 张光铎
- 《’94全国理论计算机科学年会》 | 1994年
- 定理证明;
34.地理信息系统的基础理论
- 王峰
- 《’94全国理论计算机科学年会》 | 1994年
- 地理信息系统;
35.ＯＯＤＢ中基于图的模式进化
- 杨树强
- 《’94全国理论计算机科学年会》 | 1994年
- 数据模型;
36.处理面向对象数据库的一种形式化方法
- 曾丽芳
- 《’94全国理论计算机科学年会》 | 1994年
- 数据库;
37.ＵＮＩＴＹ并行程序设计
- 毛晓光
- 《’94全国理论计算机科学年会》 | 1994年
- 程序设计;
38.一种系统的算法程序设计和证明方法
- 薛锦云
- 《’94全国理论计算机科学年会》 | 1994年
- 程序设计;
39.开发与验证ＰＲＯＬＯＧ程序的图形方法
- 刘育刚
- 《’94全国理论计算机科学年会》 | 1994年
- 程序设计;
40.目标识别中的一个并行算法
- 徐美瑞
- 《’94全国理论计算机科学年会》 | 1994年
- 模式识别;
41.指派问题的新算法
- 张立昂
- 《’94全国理论计算机科学年会》 | 1994年
- 算法;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号