反推数学与可计算分析

11971501
2019
A0101.数学史、数理逻辑与公理集合论
王玮
面上项目
教授
中山大学
52万元
可计算理论;反推数学;可计算分析;外劳赫归约;算法随机性
2020-01至2023-12
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置

未查询到项目成果

查看更多信息请先登录或注册