合一理论及其在知识推理描述语言实现中的应用
批准号:
69273010
项目类别:
面上项目
资助金额:
5.0 万元
负责人:
许满武
依托单位:
学科分类:
人工智能
结题年份:
1995
批准年份:
1992
项目状态:
已结题
项目参与者:
刘凤玉、许国苗、单成、张宏、周盈聪、刘玉冰
可信软件风险多层次综合管理技术
-
批准号:90718021
-
项目类别:重大研究计划
-
资助金额:50.0万元
-
批准年份:2007
-
负责人:许满武
-
依托单位:
计算系统的软件抗衰与自愈技术研究
-
批准号:60273035
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2002
-
负责人:许满武
-
依托单位:
基于Java/CORBA的可视化对象建模研究
-
批准号:69973020
-
项目类别:面上项目
-
资助金额:13.0万元
-
批准年份:1999
-
负责人:许满武
-
依托单位:
非标准合一的理论及应用
-
批准号:69573015
-
项目类别:面上项目
-
资助金额:7.0万元
-
批准年份:1995
-
负责人:许满武
-
依托单位:
国内基金
海外基金