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

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

帮助

条数/页：排序方式：
	D3L（ccy）的属性及分布式Tableaux推理算法的研究期刊论文 OAI收割计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者: 赵晓非; 田东平; 张文波; 史忠植 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2023/12/04 分布式动态描述逻辑知识传播组合一致性分布式推理 Tableaux推理算法 distributed dynamic description logics （D3L）
	基于SPIN/Promela的并发系统验证期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/29 模型检测并发系统软件可靠性 SPIN/Promela 形式化验证并发系统逻辑一致性计算机科学安全性分析验证技术验证工具研究领域数据结构软件系统建模语言基本算法工作机理分析验证运用应用通道输出设计模型
	多Agent VSK-AF逻辑期刊论文 OAI收割计算机工程, 2004, 卷号: 30.0, 期号: 023, 页码: 1 作者: 孙瑜; 夏幼明; 李志平 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 多Agent系统形式化模型交互完全性推理一致性证明信息特征逻辑体系
	XYZ/E面向对象程序语义概述期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 3 郭亮; 唐稚松 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/08/26 时序逻辑语言XYZ/E 面向对象程序代理机构语义一致性精化