位置：立项数据库 > 立项详情页
数理逻辑（非经典）在知识工程中的应用
  • 项目名称：数理逻辑（非经典）在知识工程中的应用
  • 项目类别：地区科学基金项目
  • 批准号：19861002
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：张明义
  • 依托单位：贵州科学院
  • 批准年度：1998
张明义的项目
基于回答集语义的约束逻辑程序设计
期刊论文 21 会议论文 16
难于计算问题的固定参数复杂性研究及应用
期刊论文 1
可信约束下软件错误诊断与修正框架
期刊论文 14 会议论文 9