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

1990年第1卷第1期目录

   
浏览其它刊期:  
  

本期目录

不确定型逻辑程序的综合
  王立国
  1990,1(1):1-15 [摘要(2767)]  [PDF 757.65 K (3795)]
  
一种适合我国动态办公环境的正文数据库检索方法
  刘怡
  1990,1(1):17-25 [摘要(2930)]  [PDF 610.41 K (3064)]
  
算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵
  刘叙华
  1990,1(1):26-30 [摘要(2867)]  [PDF 269.02 K (2855)]
  
一种面向可理解性的可复用软件开发方法
  董韫美,李开德
  1990,1(1):31-38 [摘要(2870)]  [PDF 491.07 K (3211)]
  
模拟Boyer-Moore定理证明器
  马素霞,郑人杰
  1990,1(1):39-45 [摘要(3479)]  [PDF 468.93 K (2996)]
  
XYZ系统的设计思想
  唐稚松
  1990,1(1):47-55 [摘要(2918)]  [PDF 741.48 K (3241)]
  
归纳程序综合系统NDIPS的设计
  徐家福,戴敏,王志坚
  1990,1(1):57-62 [摘要(2912)]  [PDF 428.46 K (2860)]
  
 

京公网安备 11040202500064号

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