孙佳瑜

作品数：1被引量：1H指数：1
导出分析报告
供职机构：东北师范大学更多>>
发文主题：模态逻辑定理证明参数估计AR估计方法更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《吉林大学学报（理学版）》更多>>
所获基金：国家教育部博士点基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关系扩展规则被引量：1
《吉林大学学报（理学版）》2008年第3期504-508,共5页吴瑕 于海鸿 李泽海 李河 孙佳瑜 
国家自然科学基金(批准号:60473003;60773097);教育部博士点专项科研基金(批准号:20050183065)
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
关键词：定理证明 模态逻辑 扩展规则 关系转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部