Type-Based Resource-Guided Search

演示文稿

日期
10月 16, 2020 12:00 PM — 1:00 PM
事件
PLunch, Carnegie Mellon University
王迪
王迪
助理教授

朝着思想自由、兼容并包的计算机科学前进！