Home» News» News» 9月20日 王一廷报告

News

9月20日 王一廷报告

发布日期：2022-09-20 作者：

9月20日，王一廷做了题为《Logic for computation: an introduction to computability logic》的报告。