首页 » 学术活动 » 学术会议 » 其他 » 正文

“AI助力Lean形式化”workshop

2026-03-20 18:14:36

时间:2026年3月27日-3月29日

地点:西湖大学云谷校区E14-501