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

Search Results

Help

Item hits: (Results 11-20 of 26)

Filters    
Items/Page:    Sort:
应用系统的演化式开发方法研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1992-01-01
李新宁
  |  
 
视觉二维动画制作系统的研究和实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1992-01-01
王权
  |  
 
一种应用开发方法及其辅助环境 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1992-01-01
依鸿洲
  |  
 
基于时段的时间逻辑推理系统 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1992-01-01
程庆文
  |  
 
C程序宏观分析工具CIAT [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1992-01-01
姚军
  |  
 
以数据为中心的软件工程开发方法 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1992-01-01
魏杰
  |  
 
多介质数据库语言和MOM接口的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1992-01-01
金蓓弘
  |  
 
数学对象的计算机搜索 [期刊论文]
自然杂志, 1992-01-01, 期号: 3, 页码: 215-219
张健

 
基于重写技术的自动定理证明 [期刊论文]
计算机科学, 1992-01-01, 期号: 2, 页码: 79-80,24
张健

 
λμ-Calculus: An algorithmic interpretation of classical natural deduction [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Springer Berlin / Heidelberg:Springer, 1992-01-01
Michel Parigot
  |  
 

previous 1 2 3 next

 

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