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

1990年第1卷第3期目录

   
浏览其它刊期:  
  

本期目录

UNIX中文信息处理系统实现的方案和技术
  孙玉方
  1990,1(3):1-9 [摘要(2938)]  [PDF 556.02 K (3166)]
  
示例式学习某些理论的研究
  李红斌,王开铸,郭克俭
  1990,1(3):10-14 [摘要(2649)]  [PDF 687.26 K (2738)]
  
基于设计决定的逐步求精方法及环境
  缪旭,唐稚松
  1990,1(3):15-25 [摘要(2724)]  [PDF 712.83 K (2715)]
  
一类ω—正则语言
  苏锦祥
  1990,1(3):29-32 [摘要(3297)]  [PDF 224.55 K (2747)]
  
微机网上的分布式专家联合系统UNION(下)
  赵致琢,庄庆雨,曹华,陆汝钤
  1990,1(3):33-44 [摘要(2728)]  [PDF 627.09 K (2665)]
  
Prology程序部分计算的研究与实现
  邓铁清,胡运发
  1990,1(3):45-58 [摘要(2570)]  [PDF 717.51 K (2885)]
  
具有代数算子的λ演算系统的模型构造
  陆汝占,张政,孙永强
  1990,1(3):59-64 [摘要(3163)]  [PDF 323.06 K (2914)]
  
 

京公网安备 11040202500064号

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