搜索结果: 1-2 共查到“软件理论 Clarke”相关记录2条 . 查询时间(0.046 秒)
图灵奖得主Clarke教授访问中国科学技术大学苏州研究院
图灵奖 Clarke 爱因斯坦
2013/10/31
2013年10月20日至27日，美国卡内基梅隆大学计算机系教授、中国科学院“爱因斯坦讲席教授”、图灵奖得主EdmundClarke对中国科学技术大学苏州研究院进行了为期8天的学术访问与交流。
图灵奖得主Clarke教授访问中国科学技术大学苏州研究院
图灵奖 Clarke 爱因斯坦
2013/10/31
2013年10月20日至27日，美国卡内基梅隆大学计算机系教授、中国科学院“爱因斯坦讲席教授”、图灵奖得主EdmundClarke对中国科学技术大学苏州研究院进行了为期8天的学术访问与交流。