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

1993年第4卷第4期目录

   
浏览其它刊期:  
  

本期目录

自动并行编译的新进展
  朱根江,谢立,孙钟秀
  1993,4(4):1-7 [摘要(2686)]  [PDF 533.61 K (3277)]
  
一种扩展图重写模型下函数语言惰性模式匹配的实现方法
  周光明,王鼎兴
  1993,4(4):8-14 [摘要(2465)]  [PDF 443.75 K (2722)]
  
非单调性和不一致性的处理——一个基于线性逻辑的方法
  黄林鹏,孙永强
  1993,4(4):15-19 [摘要(2485)]  [PDF 321.80 K (2554)]
  
面向目标的最佳α—β搜索策略及其在博弈问题中的应用
  张幸儿,潘征宇
  1993,4(4):20-25 [摘要(2832)]  [PDF 393.12 K (2793)]
  
数据库设计工具集DBTOOLS的设计
  杨冬青,唐世渭;
  1993,4(4):26-31 [摘要(3083)]  [PDF 425.83 K (2866)]
  
Petri网用于Horn子句的逻辑推论
  林闯
  1993,4(4):32-37 [摘要(2699)]  [PDF 365.13 K (2582)]
  
加速定理与函数分层
  徐书润,王永革
  1993,4(4):38-43 [摘要(2466)]  [PDF 353.57 K (2916)]
  
陶瓷品的计算机造型和花面设计系统
  余成,周琪云,常晓虹
  1993,4(4):44-50 [摘要(2907)]  [PDF 446.47 K (2893)]
  
NL:松弛时序逻辑自然推理系统
  何锫,唐稚松
  1993,4(4):51-55 [摘要(842)]  [PDF 278.79 K (1738)]
  
一个基于信息论的示例学习方法
  钟鸣,陈文伟,张凯慈
  1993,4(4):56-60 [摘要(2668)]  [PDF 342.54 K (2752)]
  
一个求图的连通分支的并行算法
  唐策善,梁维发
  1993,4(4):61-66 [摘要(3225)]  [PDF 708.20 K (2858)]
  
 

京公网安备 11040202500064号

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