搜索结果: 1-1 共查到“计算机科学技术基础学科 田聪”相关记录1条 . 查询时间(0.121 秒)
第35届ACM/IEEE计算机科学逻辑国际会议(ACM/IEEE Symposium on Logic in Computer Science,http://lics.siglog.org/lics20/)，简称LICS 2020，将于7月08日—7月11日在线举行（主会场设在德国萨尔布吕肯）。该会议是理论计算机科学领域最顶级的国际会议之一，与STOC、FOCS齐名，在计算机科学领域享有崇高的声誉...
