智能化逻缉程序设计环境研究
批准号：
68775018
项目类别：
面上项目
资助金额：
2.0 万元
负责人：
王立国
依托单位：
学科分类：
生物、医学信息系统与技术
结题年份：
1989
批准年份：
1987
项目状态：
已结题
项目参与者：
王立国的其他基金
相似基金
相关文献
基于构造性证明的程序理论与LISP,PROLOG自动程序设计
-
批准号：68673019
-
项目类别：面上项目
-
资助金额：1.0万元
-
批准年份：1986
-
负责人：王立国
-
依托单位：
国内基金
海外基金