一阶逻辑公式的表征学习与可微推理关键技术研究
批准号：
--
项目类别：
面上项目
资助金额：
57 万元
负责人：
刘均
依托单位：
学科分类：
数学史、数理逻辑与公理集合论
结题年份：
--
批准年份：
2021
项目状态：
未结题
项目参与者：
刘均
刘均的其他基金
相似基金
相关文献
视觉感知准则引导的示意图理解方法
-
批准号：62250066
-
项目类别：专项项目
-
资助金额：94.00万元
-
批准年份：2022
-
负责人：刘均
-
依托单位：
面向开放知识源的知识碎片分面聚合方法研究
-
批准号：61672419
-
项目类别：面上项目
-
资助金额：63.0万元
-
批准年份：2016
-
负责人：刘均
-
依托单位：
知识地图的拓扑与演化特性研究及在e-Learning中的应用
-
批准号：61173112
-
项目类别：面上项目
-
资助金额：54.0万元
-
批准年份：2011
-
负责人：刘均
-
依托单位：
面向特定领域文本的知识元及其关联挖掘方法研究
-
批准号：60803079
-
项目类别：青年科学基金项目
-
资助金额：20.0万元
-
批准年份：2008
-
负责人：刘均
-
依托单位：
国内基金
海外基金