搜索结果: 1-2 共查到“国际动态 Pierre”相关记录2条 . 查询时间(0.038 秒)
2013年8月30日,巴黎第七大学、法国国家科学中心Pierre-Louis Curien教授应计算机国家科学重点实验室的邀请到中科院软件研究所进行学术交流,并作了题为Mu and mu tilde:two useful combinators的学术报告。报告会由林惠民研究员主持。