DECIDABILITY

作品数：8被引量：7H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：殷建平张波云蒿敬波更多>>
相关机构：国防科学技术大学更多>>
相关期刊：《Science China(Information Sciences)》《Journal of Computer Science & Technology》《Science China Mathematics》《Frontiers of Computer Science》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—控制理论与控制工程x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
On the decidability of open logic被引量：1
《Science in China(Series F)》2009年第8期1283-1291,共9页ZHANG Wei 
Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical ...
关键词：open logic epistemic process DECIDABILITY 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部