首页
|
联系我们
|
英文版
学术日历
中心概况
中心简介
中心领导
交通与住宿
新闻动态
人员队伍
教研人员
Affiliate Researchers
博士后
行政人员
来访学者
研究生
学术研究
会议
短期课程
综合报告
讨论班
访问项目
特别学术活动
人才培养
博士生项目
研究生强化班
强化班学生信息
博士生导师
招贤纳士
光影岁月
视频
首页
→
学术研究
→
短期课程
->
详情
Aspects of logic, category theory, and theorem proving
发布时间：2024年07月15日
浏览次数：2327
发布者: Congcong Zhao
打印
主讲人：
Yiming Xu (University of Munich)
活动时间：
从 2024-07-21 14:00 到 2024-07-28 15:30
场地：
请选择
打印
