1993年第4卷第3期目录
专家系统开发环境NEW的设计与实现陈世福,潘金贵,袁峰,童立1993,4(3):1-7 [摘要(4171)] [PDF(5308)451.49 K][HTML(0)]形式化模糊量词及推理石生利,刘叙华1993,4(3):8-14 [摘要(4175)] [PDF(5216)415.86 K][HTML(0)]人机显示屏界面软件CPANEL Plus王玉书,庞大凡1993,4(3):15-19 [摘要(3692)] [PDF(5092)379.40 K][HTML(0)]一种区域边界的识别和区域标记算法与应用陈世福,潘金贵,胡滨,罗秋清1993,4(3):20-25 [摘要(4293)] [PDF(5261)394.27 K][HTML(0)]知识求精的基本理论与方法的研究杨莉,胡守仁1993,4(3):26-30 [摘要(3896)] [PDF(4658)385.50 K][HTML(0)]解释学习中的多知识库协作石纯一,龚义涛1993,4(3):31-34 [摘要(3766)] [PDF(4965)292.62 K][HTML(0)]序佩特里(Petri)网计算能力分析王永革1993,4(3):35-41 [摘要(3490)] [PDF(4948)421.82 K][HTML(0)]Horn逻辑上的范畴等价及方法推广王怀民1993,4(3):42-44 [摘要(4055)] [PDF(4994)198.83 K][HTML(0)]具有两级不确定性的推理模型刘大有,钟少春,高雅卿1993,4(3):45-52 [摘要(4000)] [PDF(5228)463.51 K][HTML(0)]关于Peterson—Fischer二进程算法的断言式证明苏运霖1993,4(3):53-57 [摘要(4130)] [PDF(4604)308.28 K][HTML(0)]LPS程序的过程语义赵春晓,李磊1993,4(3):58-60 [摘要(4786)] [PDF(5175)232.10 K][HTML(0)]一种并行性检测算法陈镐缨1993,4(3):61-64 [摘要(3922)] [PDF(4666)274.97 K][HTML(0)]
