|
1994
|
Edward Feigenbaum、Raj Reddy
|
由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。
|
|
1994
|
Edward Feigenbaum, Raj Reddy
|
As a result of their design and construction of large-scale artificial intelligence system, the artificial intelligence technology to prove the importance and potential commercial value.
|
|
1993
|
Juris Hartmanis、Richard E. Stearns
|
由于他们的论文奠定了计算复杂性理论的基础。
|
|
1993
|
Juris Hartmanis, Richard E. Stearns
|
As a result of their papers laid the computational complexity theory.
|
|
1992
|
Butler W. Lampson
|
由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。
|
|
1992
|
Butler W. Lampson
|
Because of the personal distributed computer system and its contribution to the achievement of technical, which include: workstations, network, operating system, programming system, shows that the safety and release documents.
|
|
1991
|
Robin Milner
|
由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
|
|
1991
|
Robin Milner
|
Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
|
|
1990
|
Fernando J. Corbato’
|
由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。
|
|
1990
|
Fernando J. Corbato’
|
Organizations and as a result of the leadership of the multi-functional, large-scale, time and resource-sharing computer system.
|
|
1989
|
William (Velvel) Kahan
|
由于在数值分析方面的基础性贡献。
|
|
1989
|
William (Velvel) Kahan
|
Because of the numerical analysis of the basic contribution.
|
|
1988
|
Ivan Sutherland
|
由于在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。
|
|
1988
|
Ivan Sutherland
|
Because of computer graphics in the area of vision and pioneering contributions to the establishment of its technology after two or three decades, is still valid.
|
|
1987
|
John Cocke
|
由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。
|
|
1987
|
John Cocke
|
In the design and theoretical Compiler, large-scale development of the RISC architecture, as well as in areas such as the important contribution.
|
|
1986
|
John Hopcroft、Robert Tarjan
|
由于在算法及数据结构设计和分析方面的基础性成就。
|
|
1986
|
John Hopcroft, Robert Tarjan
|
Because of the algorithm and data structure design and analysis of the basic achievements.
|
|
1985
|
Richard M. Karp
|
由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。
|
|
1984
|
Niklaus Wirth
|
由于开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。
|
|
1984
|
Niklaus Wirth
|
Developed as a result EULER, ALGOL-W, MODULA and PASCAL a series of new computing language.
|
|
1983
|
Ken Thompson、Dennis M. Ritchie
|
由于在通用操作系统理论研究，特别是UNIX操作系统的实现上的贡献。
|
|
1983
|
Ken Thompson、Dennis M. Ritchie
|
Due to the operating system in general theoretical research, particularly on the realization of the UNIX operating system.
|
|
1982
|
Stephen A. Cook
|
由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。
|
|
1982
|
Stephen A. Cook
|
In 1971 because of its papers, laid the theory of NP-Completeness.
|
|
1981
|
Edgar F. Codd
|
由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。
|
|
1981
|
Edgar F. Codd
|
Due to the number in the database management system show the theoretical and practical aspects of fundamental and continuous contribution to the father of relational database.
|
|
1980
|
C. Antony R. Hoare
|
由于在编程语言的定义和设计方面的基础性贡献。
|
|
1980
|
C. Antony R. Hoare
|
Due to the programming language in the definition and design of the basic contribution.
|
|
1979
|
Kenneth E. Iverson
|
由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。
|
|
1979
|
Kenneth E. Iverson
|
Because of the programming language of the theory and practice, especially APL, carried out by the ground-breaking work.
|
|
1978
|
Robert W. Floyd
|
由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科。
|
|
1978
|
Robert W. Floyd
|
Because of how the development of efficient, reliable software methodology contributions, including: the establishment of theoretical analysis, the programming language semantics, automatic testing procedures, procedures for automatic and comprehensive analysis of the algorithm, the number of computer - Disciplines.
|
|
1977
|
John Backus
|
由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。
|
|
1977
|
John Backus
|
Due to the high-level language in regard to the broad and far-reaching contribution, particularly in the Fortran language.
|
|
1976
|
Michael O. Rabin、Dana S. Scott
|
由于他们的论文"有限自动机与它们的决策问题"，被证明具有巨大的价值。
|
|
1976
|
Michael O. Rabin、Dana S. Scott
|
As a result of their papers, "DFA and their decision-making," proved to be of great value.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
