Home» News» News» 4月1日 杨帆教授报告

News

4月1日 杨帆教授报告

发布日期：2024-04-01 作者：

　　4月1日，杨帆教授作了题为《A complete logic for first-order team properties》的报告。