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

1990年第1卷第4期目录

   
浏览其它刊期:  
  

本期目录

关于横向程序变换的若干研究
  蔡经球
  1990,1(4):1-13 [摘要(2755)]  [PDF 609.21 K (2943)]
  
逻辑语言中启发式控制
  胡运发,胡子昂,高洪奎,卢肇川
  1990,1(4):14-23 [摘要(2577)]  [PDF 970.56 K (2457)]
  
旋转曲面CAD的有理B样条方法
  王国瑾
  1990,1(4):24-39 [摘要(3221)]  [PDF 661.75 K (2676)]
  
知识库系统KBASE中的规则规范化理论
  马学强,施伯乐
  1990,1(4):40-47 [摘要(3010)]  [PDF 478.75 K (2958)]
  
BD-GKS3D图形软件的设计与实现
  董士海,张永明,王磊
  1990,1(4):48-54 [摘要(3167)]  [PDF 488.46 K (2755)]
  
面向对象程序设计体裁嵌入FFP-AST系统
  江明德,菊燕
  1990,1(4):55-64 [摘要(3007)]  [PDF 557.13 K (2738)]
  
 

京公网安备 11040202500064号

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