位置：成果数据库 > 期刊 > 期刊详情页
Theorem Proving Based on Extension Rule
  • 期刊名称：《Journal of Automated Reasoning》
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：吉林大学计算机科学与技术学院
  • 页码：2003,31(1):11-21.
  • 语言：英文
  • 相关项目：约束推理与约束程序
作者： LIN Hai|SUN Jigui|ZHANG Yimin|
同期刊论文项目
约束推理与约束程序
期刊论文 7
同项目期刊论文
Knowledge Compilation Using Extension Rule
一种求解粮食调运优化问题的两阶段方法
基于决策树分类方法的粮食轮换决策支持系统
基于约束的调度研究和实现
对基于模型的诊断过程的形式化
基于广义产品结构树的配置参数管理