课题基金 / 基金详情

自动演绎中的抽象方法

批准号：
69103306
项目类别：
青年科学基金项目
资助金额：
2.5 万元
负责人：
曾云峰
依托单位：
中国科学院软件研究所
学科分类：
计算机科学
结题年份：
1993
批准年份：
1991
项目状态：
已结题
项目参与者：
邱桂友
关键词：
自动演绎 抽象推理 表示学习 语义网络 逻辑推理

相似基金

相关文献

国内基金
海外基金