Wuhan University
Email
Contact Us
中文版
Home
About Us
Introduction
Governing Board
News
People
Faculty
Postdocs
Staff
Science
Colloquium
Seminars
Conference
Mini-Course
Recruitment
Faculty Position
Postdoc Position
首页
+
联系我们
研究院概况
+
研究院简介
研究院领导
研究院动态
+
新闻中心
通知公告
人员队伍
+
教研人员
博士后
行政人员
学术研究
+
综合报告
学术会议
短期课程
人才培养
+
研究生强化班
暑期/冬季学校
博士生导师
招贤纳士
+
教研岗位
博士后岗位
支撑岗位
Home
Science
Mini-Course
博士后
Institute for Math & AI, Wuhan
Registration Notice | "AI for Mathematics: Formalization and Theorem Proving" Fall 2024 Mini-Course
Prof. Zhang Pingwen, Prof. Yang Zhijian, Prof, Wen Zaiwen,etc.
Wuhan University
Wuhan University
首页
prev page
1
next page
尾页
total 1 article
/1page
jump
Science