合一理论及其在知识推理描述语言实现中的应用
批准号：
69273010
项目类别：
面上项目
资助金额：
5.0 万元
负责人：
许满武
依托单位：
南京大学
学科分类：
F06.人工智能
结题年份：
1995
批准年份：
1992
项目状态：
已结题
项目参与者：
刘凤玉、许国苗、单成、张宏、周盈聪、刘玉冰
关键词：
合一理论知识推理描述语言
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
可信软件风险多层次综合管理技术
  • 批准号：
    90718021
  • 项目类别：
    重大研究计划
  • 资助金额：
    50.0万元
  • 批准年份：
    2007
  • 负责人：
    许满武
  • 依托单位：
    南京大学
计算系统的软件抗衰与自愈技术研究
  • 批准号：
    60273035
  • 项目类别：
    面上项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2002
  • 负责人：
    许满武
  • 依托单位：
    南京大学
基于Java/CORBA的可视化对象建模研究
  • 批准号：
    69973020
  • 项目类别：
    面上项目
  • 资助金额：
    13.0万元
  • 批准年份：
    1999
  • 负责人：
    许满武
  • 依托单位：
    南京大学
非标准合一的理论及应用
  • 批准号：
    69573015
  • 项目类别：
    面上项目
  • 资助金额：
    7.0万元
  • 批准年份：
    1995
  • 负责人：
    许满武
  • 依托单位：
    南京大学
国内基金
海外基金