中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
光学应用软件集成系统 [期刊论文]
光子学报, 1998-01-01, 卷号: 27, 期号: 1, 页码: 89
周津慧
  |  
 
关于E?序列的计数问题 [期刊论文]
通信学报, 1998-01-01, 卷号: 19, 期号: 12, 页码: 89
吴文玲; 肖国镇
  |  
 
关于布尔函数的线性结构 [期刊论文]
电子学报, 1998-01-01, 卷号: 26, 期号: 4, 页码: 126
吴文玲; 肖国镇
  |  
 
关于非线性组合序列的稳定性 [期刊论文]
西安电子科技大学学报, 1998-01-01, 卷号: 25, 期号: 1, 页码: 116
吴文玲; 肖国镇
  |  
 
模态逻辑推理的翻译方法 [期刊论文]
计算机研究与发展, 1998-01-01, 卷号: 35, 期号: 5, 页码: 389-392
张健
  |  
 
一阶逻辑中约束求解的局部搜索法 [期刊论文]
软件学报, 1998-01-01, 卷号: 9, 期号: 8, 页码: 598-600
张健
  |  
 
运算构造和检验系统FC的设计和实现 [期刊论文]
软件学报, 1998-01-01, 卷号: 9, 期号: 10, 页码: 755-759
陈海明

 
多通道界面软件结构模型及整合算法 [期刊论文]
计算机学报, 1998-01-01, 卷号: 21, 期号: 2, 页码: 111-118
李茂贞; 戴国忠; 董士海
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace