中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共3条，第1-3条

帮助

条数/页：排序方式：
	面向无穷数据的形式模型综述期刊论文 OAI收割软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2016/12/09 无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性
	LTLC:面向实时与混成系统的连续时序逻辑学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 李广元收藏 \| 浏览/下载：31/0 \| 提交时间：2011/03/17 实时系统混成系统时序逻辑实时逻辑规范语言系统刻画语言可满足性可判定性模型检查
	模态逻辑推理的翻译方法期刊论文 OAI收割计算机研究与发展, 1998, 卷号: 35, 期号: 5, 页码: 389-392 张健 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/08/11 命题模态逻辑自动定理证明可满足性判定