Home» News» News» 11月2日陈至诚报告

News

11月2日陈至诚报告

发布日期：2021-11-02 作者：

11月2日，陈至诚做了题为《Lyndon interpolation theorem in R-restricted fragment of 1st-order logic》的报告。

相关附件