当前位置：
数字出版物超市 >> 
约束推理与约束程序
约束推理与约束程序
【项目名称】 约束推理与约束程序
【项目编号】 60073039
【项目目标】
【项目关键词】 约束程序 约束推理 约束逻辑程序 因果推理 多重回答约束 自动推理 认知科学 tableau 模糊逻辑 计算模式 等价 语义 程序 因果关系 假言推理 模糊等价 残数 约束调度 推理 基本思想 通用性 语义角度 语义方法 约束逻辑程序设计 因果知识 合取 可观察性 约束建模 约束模型 逻
【项目承办单位】 吉林大学;
【项目负责人】 孙吉贵;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 15万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    >>更多
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2000-01-16
    【申请截止时间】 2000-03-31
    【立项时间】 2001-01
    【完成时间】 2003-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....