武汉大学
信息门户
联系我们
English
首页
研究院概况
研究院简介
研究院领导
研究院动态
新闻中心
通知公告
人员队伍
教研人员
博士后
行政人员
学术研究
综合报告
学术会议
短期课程
人才培养
研究生强化班
暑期/冬季学校
博士生导师
招贤纳士
教研岗位
博士后岗位
支撑岗位
首页
+
研究院概况
+
研究院简介
研究院领导
研究院动态
+
新闻中心
通知公告
人员队伍
+
教研人员
博士后
行政人员
学术研究
+
综合报告
学术会议
短期课程
人才培养
+
研究生强化班
暑期/冬季学校
博士生导师
招贤纳士
+
教研岗位
博士后岗位
支撑岗位
首页
学术研究
短期课程
短期课程
Institute for Math & AI, Wuhan
报名通知 | “AI for Mathematics: 数学形式化和定理证明” 2024年秋季短课程
首页
上页
1
下页
尾页
共1条
第
/1页
跳转