基于时态逻辑公式演绎的程序生成系统
基本信息
批准号：69083306
项目类别：专项基金项目
资助金额：2.90
负责人：刘清
学科分类：
依托单位：南昌大学
批准年份：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
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
DOI：10.11999/JEIT210095
发表时间：2021
2
平行图像:图像生成的一个新型理论框架
平行图像:图像生成的一个新型理论框架
DOI：10.16451/j.cnki.issn1003-6059.201707001
发表时间：2017
3
零样本学习综述
零样本学习综述
DOI：10.3778/j.issn.1002-8331.2106-0133
发表时间：2021
4
一类基于量子程序理论的序列效应代数
一类基于量子程序理论的序列效应代数
DOI：10.3969/j.issn.0583-1431.2020.06.010
发表时间：2020
5
北京市大兴区夏季大气中醛酮类化合物的污染水平、来源及影响
北京市大兴区夏季大气中醛酮类化合物的污染水平、来源及影响
DOI：10.7524/j.issn.0254-6108.2020030103
发表时间：2021
刘清的其他基金
批准号：51368057
批准年份：2013
资助金额：50.00
项目类别：地区科学基金项目
批准号：51768069
批准年份：2017
资助金额：40.00
项目类别：地区科学基金项目
批准号：51304122
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：50979086
批准年份：2009
资助金额：35.00
项目类别：面上项目
批准号：51379171
批准年份：2013
资助金额：80.00
项目类别：面上项目
批准号：60173054
批准年份：2001
资助金额：18.00
项目类别：面上项目
批准号：51279152
批准年份：2012
资助金额：74.00
项目类别：面上项目
批准号：21606130
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：81860511
批准年份：2018
资助金额：34.80
项目类别：地区科学基金项目
批准号：31201198
批准年份：2012
资助金额：24.00
项目类别：青年科学基金项目
批准号：69773001
批准年份：1997
资助金额：8.00
项目类别：面上项目
批准号：11802207
批准年份：2018
资助金额：28.00
项目类别：青年科学基金项目
批准号：11026186
批准年份：2010
资助金额：3.00
项目类别：数学天元基金项目
批准号：81201891
批准年份：2012
资助金额：23.00
项目类别：青年科学基金项目
相似国自然基金
1
基于时态逻辑的形式化综合
批准号：69473017
批准年份：1994
负责人：韩俊刚
学科分类：F0209
资助金额：8.00
项目类别：面上项目
2
基于Resolution算法的交互时态逻辑自动验证机
批准号：61303018
批准年份：2013
负责人：章岚
学科分类：F0201
资助金额：22.00
项目类别：青年科学基金项目
3
基于逻辑程序的智能agent系统及其应用
批准号：69883008
批准年份：1998
负责人：王克文
学科分类：F0203
资助金额：11.00
项目类别：专项基金项目
4
基于时态认知逻辑的特征交互无界模型检测
批准号：60763004
批准年份：2007
负责人：骆翔宇
学科分类：F0201
资助金额：22.00
项目类别：地区科学基金项目