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