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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
命题模态逻辑的模型构造和完备性证明 [期刊论文]
计算机应用与软件, 2014-01-01, 卷号: 31, 期号: 8, 页码: 9-12,24
柳欣欣; 李小燕

 
命题动态逻辑及其递归扩展 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
薛冰天
  |  
 
不动点逻辑中的模型构造与推演系统的完备性 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
屈楠
  |  
 
Verilog代数语义研究 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 3
李勇坚; 何积丰; 孙永强
  |  
 
高阶时段演算及其完备性 [期刊论文]
中国科学E辑, 2001-01-01, 卷号: 31, 期号: 1, 页码: 71-85
詹乃军
  |  
 
高阶时段演算及其应用 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000-01-01
詹乃军
  |  
 

1

 

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