Home» News» News» 11月12日王一廷报告

News

11月12日王一廷报告

发布日期：2019-11-12 作者：

11月12日下午3:00- 6:00，王一廷做了题为 Buchi Automata and its application to Logic 的报告。