搜索结果: 1-1 共查到“科学技术哲学 Clarke”相关记录1条 . 查询时间(0.078 秒)
图灵奖获得者Edmund M.Clarke访问软件研究所
图灵奖 Edmund M.Clarke 软件研究所
2013/4/24
2013年4月19日，应基础软件国家工程研究中心实验室邀请，2007年ACM图灵奖获得者Edmund M.Clarke教授到中科院软件研究所进行访问，并作题为Turing’s Computable Real Numbers and Why They Are Still Important Today的学术讲座，讲座由杨秋松副研究员主持。来自中科院、北京大学、北京信息科技大学等院校的40余名老师和学...