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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
构建度量区时序逻辑的时间自动机 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 568-571,575
王勤思
  |  
 
构建度量区间时序逻辑的时间自动机 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王勤思
  |  
 
无穷状态系统互模拟判定算法 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-05-29
陈海燕
  |  
 
a formal framework for ontology integration based on a default extension to ddl [会议论文]
1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), Guiyang, PEOPLES R CHINA, SEP 20-24,
Ma YL; Wei J; Jin BH; Liu SH
  |  
 
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 6
薛锐; 林惠民
  |  
 

1

 

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