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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
语义Web中描述逻辑本体的可伸缩推理和非一致处理 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2009-01-15
杜剑峰
  |  
 
程序正确性逻辑验证的一些探讨 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-29
薛涛
  |  
 
语义网的一阶逻辑推理技术支持 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 12, 页码: 3091-3099
徐贵红; 张健
  |  
 
由一阶逻辑公式得到命题逻辑可满足性问题实例 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 3, 页码: 327-335
黄拙; 张健
  |  
 
一阶逻辑模型搜索问题研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
黄拙
  |  
 
有限信念集上修正的一种方法 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 5, 页码: 911-917
栾尚敏; 戴国忠
  |  
 
一种面向软件工程的时序逻辑语言 [期刊论文]
软件学报, 1994-01-01, 卷号: 5, 期号: 12, 页码: 1
唐稚松; 赵琛
  |  
 
基于重写技术的自动定理证明 [期刊论文]
计算机科学, 1992-01-01, 期号: 2, 页码: 79-80,24
张健

 

1

 

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