反推数学与可计算分析

项目负责人王玮
依托单位中山大学
立项年份2019
学科分类数理逻辑
资助来源国家自然科学基金
项目状态已立项
资助金额¥52.0万
批准号11971501

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

中山大学其他项目

数理逻辑学科其他项目