基于入演算、组合逻辑和图归约技术的函数式语言系统
基本信息
批准号：69073329
项目类别：面上项目
资助金额：3.00
负责人：杨祥金
学科分类：
依托单位：东南大学
批准年份：1990
结题年份：1993
起止时间：1991-01-01 - 1993-12-31
项目状态： 已结题
项目参与者：唐立评,朱一清,蒲安健
关键词：
组合逻辑入演算高阶纯粹的函数式语言
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
2
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
3
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
4
黏弹性正交各向异性空心圆柱中纵向导波的传播
黏弹性正交各向异性空心圆柱中纵向导波的传播
DOI：
发表时间：2019
5
“阶跃式”滑坡突变预测与核心因子提取的平衡集成树模型
“阶跃式”滑坡突变预测与核心因子提取的平衡集成树模型
DOI：10.16031/j.cnki.issn.1003-8035.2019.05.04
发表时间：2019
杨祥金的其他基金
相似国自然基金
1
逻辑式语言中非线性约束求解技术与系统的研究
批准号：69673022
批准年份：1996
负责人：刘椿年
学科分类：F0203
资助金额：8.00
项目类别：面上项目
2
面向自然语言处理的逻辑语义表达与演算模型研究
批准号：60173025
批准年份：2001
负责人：王惠临
学科分类：F0211
资助金额：18.00
项目类别：面上项目
3
证明网络图归约优化系统的研制
批准号：69573037
批准年份：1995
负责人：王驹
学科分类：F0201
资助金额：6.00
项目类别：面上项目
4
图视式编程语言的基础研究
批准号：69173342
批准年份：1991
负责人：程景云
学科分类：F0203
资助金额：3.00
项目类别：面上项目