JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

报告信息收集

此处供受邀报告人录入报告的题目与摘要（长约100英文单词或150汉字）。