首页
期刊中心
期刊检索
论文检索
行业资讯
期刊
期刊
论文
首页
>
《计算机教育》
>
2008年23期
>
自动验证技术获得图灵奖
自动验证技术获得图灵奖
打印
分享
在线阅读
下载PDF
导出详情
摘要
三人分享图灵奖正当我们忙于抗震救灾和准备奥运的时候,2008年6月21日晚,美国计算机协会(ACM)在旧金山召开了2007年度ACM颁奖盛典。颁布了2007年度图灵奖、ACMInfosys基金会奖以及人工智能、软件系统、计算机理论与实践、计算科学与工程等领域的多个奖项。
DOI
7dm6vq5ljn/641478
作者
刘瑞挺
机构地区
不详
出处
《计算机教育》
2008年23期
关键词
图灵奖
验证技术
计算机理论
抗震救灾
人工智能
软件系统
分类
[自动化与计算机技术][计算机科学与技术]
出版日期
2008年12月22日(中国期刊网平台首次上网日期,不代表论文的发表时间)
相关文献
1
潘加宇.
Barbara Liskov获得图灵奖
.计算机软件与理论,2009-05.
2
.
iRoll获得创新奖
.政治经济学,2008-01.
3
翟健.
获得诺奖的“蠢材”
.教育学,2012-03.
4
王永建.
天才图灵
.教育学,2009-09.
5
斯蒂芬·巴克斯特【英】;蔡瑜(译);闲人(图).
图灵苹果
.中国文学,2010-05.
6
指导老师:陈佳平,周思佳,黄思怡,钟沁妤.
图灵欢乐
.教育学,2023-04.
7
邓华.
意大利获得金刚石奖
.刀具与模具,2004-05.
8
赵劼.
FSC获得首例“ALCAN可持续奖”
.林学,2005-01.
9
.
诺贝尔文学奖获得者
.学前教育学,2016-07.
10
.
诺贝尔文学奖获得者
.学前教育学,2017-01.
来源期刊
计算机教育
2008年23期
相关推荐
诺贝尔文学奖获得者
诺贝尔文学奖获得者
诺贝尔文学奖获得者
走向美丽——记金菊奖最佳演员奖获得者向丽
什么是图灵试验?
同分类资源
更多
[计算机科学与技术]
交通:大运会将首次应用电子车证系统
[计算机科学与技术]
方正之美、弦铃悦耳 厦新—A68手机
[计算机科学与技术]
谈对高职高专生计算机应用教学的策略
[计算机科学与技术]
计算机网络技术在电子信息工程中的运用
[计算机科学与技术]
爱上那朵炫彩的白Samsung F619
相关关键词
图灵奖
验证技术
计算机理论
抗震救灾
人工智能
软件系统
返回顶部