Loading AI tools
Found in articles
曾在卡内基梅隆大学、利兹大学、爱丁堡大学任教。 1986年，奈望林纳奖。 1997年，高德纳奖。 2008年，EATCS獎（英语：European Association for Theoretical Computer Science#EATCS Award）。 2010年，图灵奖。 美人工智能专家获2010年度图林奖. 新华网
哥德尔奖
Prize）是一個頒發給理論計算機科學領域傑出論文的年度獎項，由歐洲理論計算機科學協會（英语：European Association for Theoretical Computer Science）（EATCS）和美國計算機協會算法和計算理論特別興趣小組（計算機協會算法和計算理論特別興趣小組（英语：ACM
理論計算機科學
SIGACT （页面存档备份，存于互联网档案馆） （英文） Usenet comp.theory 新闻组[永久失效連結] 计算机科学主题 计算机科学 计算机协会（ACM） 欧洲理论计算机科学协会（European Association for Theoretical Computer Science）
珠排序
Dinneen（英语：邁克爾·狄寧Michael Dinneen）于2002年发展而来，并且在欧洲理论计算机协会（英语：European Association for Theoretical Computer Science）（EATCS）的新闻简报上发表了该算法。无论是电子还是实物上的实现，珠排序都能在 O ( n )
(编). Complexity of Computer Computations. New York: Plenum. 1972: 85–103 [2023-06-07]. （原始内容 (PDF)存档于2011-06-29）. Association for Computing Machinery