位置：立项数据库 > 立项详情页
难于计算问题的固定参数复杂性研究及应用
  • 项目名称：难于计算问题的固定参数复杂性研究及应用
  • 项目类别：地区科学基金项目
  • 批准号：10161005
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：张明义
  • 依托单位：贵州科学院
  • 批准年度：2001
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 1
  • 0
  • 0
  • 0
  • 0
期刊论文
基于整数小波变换的准无失真图像压缩技术
张明义的项目
基于回答集语义的约束逻辑程序设计
期刊论文 21 会议论文 16
可信约束下软件错误诊断与修正框架
期刊论文 14 会议论文 9
数理逻辑（非经典）在知识工程中的应用