机构

• 软件研究所 [3]
• 计算技术研究所 [1]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [4]
• 学位论文 [1]

发表日期

• 2008 [1]
• 2004 [1]
• 2000 [1]
• 1995 [1]
• 1988 [1]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 若干计数问题的复杂性研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 夏盟佶   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17 #P完全性  #Rtw-CSP  全息归约  多项式插值  匹配线路   多Agent VSK-AF逻辑 期刊论文  OAI收割 计算机工程, 2004, 卷号: 30.0, 期号: 023, 页码: 1 作者:  孙瑜;  夏幼明;  李志平   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 多Agent系统  形式化模型  交互  完全性  推理  一致性  证明  信息特征  逻辑  体系   多媒体节目时序描述的完全性和协调性 期刊论文  OAI收割 计算机学报, 2000, 卷号: 23, 期号: 7, 页码: 750-755 赵琛   |  收藏  |  浏览/下载：11/0  |  提交时间：2010/08/25 时序关系  完全性  协调性   关于3—正则子图问题的一个注记 期刊论文  OAI收割 应用数学学报, 1995, 卷号: 18.0, 期号: 002, 页码: 176-178 作者:  刘彦佩;  于濂   |  收藏  |  浏览/下载：6/0  |  提交时间：2021/01/14 平面图  正则子图问题  NP完全性   “中介逻辑”的特征问题 期刊论文  OAI收割 科学通报, 1988, 卷号: 33, 期号: 22, 页码: 1686-1689 李祥; 李广元   |  收藏  |  浏览/下载：6/0  |  提交时间：2010/05/14 “中介逻辑”  三值逻辑  三值语义  可靠性与完全性