在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

Juris Hartmanis

查词链接:https://www.dute.org/dict/Juris_Hartmanis复制链接
尤里斯·哈特马尼斯(尤里斯·哈特马尼斯,计算机科学家,1928年生于拉脱维亚。移民德国获物理学士学位,移民美国获应用数学硕士学位,1955年获加州理工数学博士学位。1965年成为康乃尔大学教授,一直工作至2001年退休)

网络释义
哈特马尼斯
...图灵奖获得者斯蒂芬•库克(Stephen Arthur Cook)是NP问题的奠基人;1993年图灵奖获得者尤里斯•哈特马尼斯(Juris Hartmanis)和理查德•斯特恩(RichardEdwin Stearns)是计算复杂性理论的主要奠基人。
* 以上查询结果来自于网络,仅供参考。
正在查询...