主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第1期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

1993年第4卷第3期目录

   
浏览其它刊期:  
  

本期目录

专家系统开发环境NEW的设计与实现
  陈世福,潘金贵,袁峰,童立
  1993,4(3):1-7 [摘要(2861)]  [PDF 451.49 K (3002)]
  
形式化模糊量词及推理
  石生利,刘叙华
  1993,4(3):8-14 [摘要(2490)]  [PDF 415.86 K (2754)]
  
人机显示屏界面软件CPANEL Plus
  王玉书,庞大凡
  1993,4(3):15-19 [摘要(2427)]  [PDF 379.40 K (2690)]
  
一种区域边界的识别和区域标记算法与应用
  陈世福,潘金贵,胡滨,罗秋清
  1993,4(3):20-25 [摘要(2786)]  [PDF 394.27 K (2885)]
  
知识求精的基本理论与方法的研究
  杨莉,胡守仁
  1993,4(3):26-30 [摘要(2566)]  [PDF 385.50 K (2402)]
  
解释学习中的多知识库协作
  石纯一,龚义涛
  1993,4(3):31-34 [摘要(2435)]  [PDF 292.62 K (2700)]
  
序佩特里(Petri)网计算能力分析
  王永革
  1993,4(3):35-41 [摘要(2126)]  [PDF 421.82 K (2603)]
  
Horn逻辑上的范畴等价及方法推广
  王怀民
  1993,4(3):42-44 [摘要(2739)]  [PDF 198.83 K (2671)]
  
具有两级不确定性的推理模型
  刘大有,钟少春,高雅卿
  1993,4(3):45-52 [摘要(2737)]  [PDF 463.51 K (2899)]
  
关于Peterson—Fischer二进程算法的断言式证明
  苏运霖
  1993,4(3):53-57 [摘要(2799)]  [PDF 308.28 K (2333)]
  
LPS程序的过程语义
  赵春晓,李磊
  1993,4(3):58-60 [摘要(3434)]  [PDF 232.10 K (2860)]
  
一种并行性检测算法
  陈镐缨
  1993,4(3):61-64 [摘要(2641)]  [PDF 274.97 K (2530)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利