>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-1 共查到知识要闻 Clarke相关记录1条 . 查询时间(0.015 秒)
2013年4月19日,应基础软件国家工程研究中心实验室邀请,2007年ACM图灵奖获得者Edmund M.Clarke教授到中科院软件研究所进行访问,并作题为Turing’s Computable Real Numbers and Why They Are Still Important Today的学术讲座,讲座由杨秋松副研究员主持。来自中科院、北京大学、北京信息科技大学等院校的40余名老师和学...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...