基于构造性证明的程序理论与LISP,PROLOG自动程序设计
基本信息
批准号：68673019
项目类别：面上项目
资助金额：1.00
负责人：王立国
学科分类：
依托单位：北京航空航天大学
批准年份：1986
结题年份：1988
起止时间：1987-01-01 - 1988-12-31
项目状态： 已结题
项目参与者：
关键词：
***
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
DOI：https://doi.org/10.1016/j.cviu.2018.06.003
发表时间：2018
2
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
DOI：
发表时间：2021
3
Image super-resolution based on sparse coding with multi-class dictionaries
Image super-resolution based on sparse coding with multi-class dictionaries
DOI：doi: 10.31577/cai 2019 6 1301
发表时间：2019
4
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
DOI：10.3390/md17090519
发表时间：2019
5
Numerical investigation on aerodynamic performance of a bionics flapping wing
Numerical investigation on aerodynamic performance of a bionics flapping wing
DOI：10.1007/s10483-019-2532-8
发表时间：2019
王立国的其他基金
批准号：51177028
批准年份：2011
资助金额：62.00
项目类别：面上项目
批准号：61275010
批准年份：2012
资助金额：75.00
项目类别：面上项目
批准号：60802059
批准年份：2008
资助金额：20.00
项目类别：青年科学基金项目
批准号：11004137
批准年份：2010
资助金额：19.00
项目类别：青年科学基金项目
批准号：50877016
批准年份：2008
资助金额：33.00
项目类别：面上项目
批准号：61675051
批准年份：2016
资助金额：60.00
项目类别：面上项目
批准号：41361035
批准年份：2013
资助金额：46.00
项目类别：地区科学基金项目
批准号：68775018
批准年份：1987
资助金额：2.00
项目类别：面上项目
批准号：61501175
批准年份：2015
资助金额：20.00
项目类别：青年科学基金项目
批准号：51404091
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
自动程序设计理论与应用
批准号：60073043
批准年份：2000
负责人：康立山
学科分类：F0203
资助金额：16.00
项目类别：面上项目
2
分布式程序设计理论
批准号：68873025
批准年份：1988
负责人：周巢尘
学科分类：F0201
资助金额：6.00
项目类别：面上项目
3
逻辑程序设计理论和算法研究
批准号：69175015
批准年份：1991
负责人：苑森淼
学科分类：F0305
资助金额：3.50
项目类别：面上项目
4
基于组织程序设计范型的研究
批准号：61379051
批准年份：2013
负责人：毛新军
学科分类：F0203
资助金额：76.00
项目类别：面上项目