课题基金 / 基金详情

基于多元矛盾体分离演绎的一阶逻辑自动定理证明器研究

批准号：
62366017
项目类别：
地区科学基金项目
资助金额：
32 万元
负责人：
曹锋
依托单位：
江西理工大学
学科分类：
计算机科学的基础理论
结题年份：
--
批准年份：
2023
项目状态：
未结题
项目参与者：
曹锋
关键词：
多元矛盾体定理证明器分离演绎一阶逻辑

相似基金

相关文献

国内基金
海外基金