课题基金 / 基金详情

基于构造性证明的程序理论与LISP,PROLOG自动程序设计

批准号：
68673019
项目类别：
面上项目
资助金额：
1.0 万元
负责人：
王立国
依托单位：
北京航空航天大学
学科分类：
计算机科学
结题年份：
1988
批准年份：
1986
项目状态：
已结题
项目参与者：
关键词：
构造性证明程序理论LISPPROLOG自动程序设计

王立国的其他基金

相似基金

相关文献

智能化逻缉程序设计环境研究
  • 批准号：
    68775018
  • 项目类别：
    面上项目
  • 资助金额：
    2.0万元
  • 批准年份：
    1987
  • 负责人：
    王立国
  • 依托单位：
    北京航空航天大学
国内基金
海外基金