数理逻辑在计算机科学与数学中的应用
基本信息
批准号：18670556
项目类别：面上项目
资助金额：0.50
负责人：李祥
学科分类：
依托单位：贵州大学
批准年份：1986
结题年份：1989
起止时间：1987-01-01 - 1989-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
李祥的其他基金
批准号：11403019
批准年份：2014
资助金额：28.00
项目类别：青年科学基金项目
批准号：21572191
批准年份：2015
资助金额：65.00
项目类别：面上项目
批准号：41862012
批准年份：2018
资助金额：39.00
项目类别：地区科学基金项目
批准号：81803071
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：50001014
批准年份：2000
资助金额：18.00
项目类别：青年科学基金项目
批准号：81274057
批准年份：2012
资助金额：70.00
项目类别：面上项目
批准号：19331053
批准年份：1993
资助金额：4.00
项目类别：重点项目
批准号：81400881
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：30900344
批准年份：2009
资助金额：20.00
项目类别：青年科学基金项目
批准号：81573577
批准年份：2015
资助金额：50.00
项目类别：面上项目
批准号：51408387
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：31301080
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：51475293
批准年份：2014
资助金额：80.00
项目类别：面上项目
批准号：91753130
批准年份：2017
资助金额：70.00
项目类别：重大研究计划
批准号：11474019
批准年份：2014
资助金额：85.00
项目类别：面上项目
批准号：69673048
批准年份：1996
资助金额：6.00
项目类别：面上项目
批准号：31871543
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：51105245
批准年份：2011
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
数理逻辑及其在计算机科学技术中的应用
批准号：68873023
批准年份：1988
负责人：杨东屏
学科分类：F0201
资助金额：3.50
项目类别：面上项目
2
应用逻辑、数理逻辑及其在计算机科学技术中的应用研究
批准号：69173324
批准年份：1991
负责人：杨东屏
学科分类：F0201
资助金额：4.00
项目类别：面上项目
3
数理逻辑，能行性理论模型论及其在计算机中应用
批准号：19071043
批准年份：1990
负责人：莫绍揆
学科分类：A0101
资助金额：1.20
项目类别：面上项目
4
图与网络技术在计算机科学中的应用
批准号：60673047
批准年份：2006
负责人：刘桂真
学科分类：F0201
资助金额：26.00
项目类别：面上项目