五月
07
五月
07
Exploring the logic of mathematical proof assistants
19:00-20:00 E4-233
五月
08
15:00-16:00 E4-233
五月
14
|
理论科学研究院位于科研中心北楼，共5层，涵盖诸多功能区，并沿南侧与东侧设置连通的阳台，提供室外休闲场所与景观视野，能够满足日常科研工作需求。这里为数学、理论物理等基础理论研究提供了思维交汇和智慧碰撞的场所
查看更多
