基于时态逻辑公式演绎的程序生成系统

批准号：

69083306

项目类别：

专项基金项目

资助金额：

2.9 万元

负责人：

刘清

依托单位：

南昌大学

学科分类：

人工智能

结题年份：

1993

批准年份：

1990

项目状态：

已结题

项目参与者：

刘远信、白似雪、段宪昌、占传杰

关键词：

程序生成公式演绎时态逻辑

刘清的其他基金

相似基金

相关文献

Rough逻辑归结原理和归结策略的研究

批准号：

60173054
项目类别：

面上项目
资助金额：

18.0万元
批准年份：

2001
负责人：

刘清
依托单位：

南昌大学

算子Rough逻辑及其在数据发掘上应用的研究

批准号：

69773001
项目类别：

面上项目
资助金额：

8.0万元
批准年份：

1997
负责人：

刘清
依托单位：

南昌大学

国内基金

海外基金