应用逻辑及复杂性
基本信息
批准号：19331053
项目类别：重点项目
资助金额：4.00
负责人：李祥
学科分类：
依托单位：贵州大学
批准年份：1993
结题年份：1998
起止时间：1994-01-01 - 1998-12-31
项目状态： 已结题
项目参与者：
关键词：
现代密码学计算机逻辑计算复杂性
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
2
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
3
可证安全的无证书混合签密
可证安全的无证书混合签密
DOI：
发表时间：2015
4
Rhombus sketch:自适应和准确的流数据sketch
Rhombus sketch:自适应和准确的流数据sketch
DOI：10.13229/j.cnki.jdxbgxb20200877
发表时间：2022
5
基于CT数据的腰椎皮质骨轨迹螺钉经皮置入的可行性研究
基于CT数据的腰椎皮质骨轨迹螺钉经皮置入的可行性研究
DOI：10.3760/cma.j.cn121113-20210220-00188
发表时间：2022
李祥的其他基金
批准号：11403019
批准年份：2014
资助金额：28.00
项目类别：青年科学基金项目
批准号：21572191
批准年份：2015
资助金额：65.00
项目类别：面上项目
批准号：41862012
批准年份：2018
资助金额：39.00
项目类别：地区科学基金项目
批准号：81803071
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：50001014
批准年份：2000
资助金额：18.00
项目类别：青年科学基金项目
批准号：81274057
批准年份：2012
资助金额：70.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
项目类别：面上项目
批准号：18670556
批准年份：1986
资助金额：0.50
项目类别：面上项目
批准号：51105245
批准年份：2011
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
不可解度的结构性质及应用逻辑
批准号：68800201
批准年份：1988
负责人：眭跃飞
学科分类：F0101
资助金额：1.20
项目类别：青年科学基金项目
2
通讯及量子计算复杂性
批准号：60553001
批准年份：2005
负责人：姚期智
学科分类：F0201
资助金额：160.00
项目类别：专项基金项目
3
应用逻辑、数理逻辑及其在计算机科学技术中的应用研究
批准号：69173324
批准年份：1991
负责人：杨东屏
学科分类：F0201
资助金额：4.00
项目类别：面上项目
4
演化算法时间复杂性及相关问题
批准号：60975050
批准年份：2009
负责人：丁立新
学科分类：F0305
资助金额：33.00
项目类别：面上项目