全国科学技术名词审定委员会制作的“术语在线”：http://t.cn/R5XsxA1 作者译者编辑都可以参考，特别是一些规范名词，可以查缺补漏。我经常查《数学名词》，不过年代有些久远(1993年),《计算机科学技术名词》最近出了新版并有实体书(2018年)。 补充一下，你可以把这个当成专业词汇的英汉词典来用。
算法时空
全国科学技术名词审定委员会制作的“术语在线”：http://t.cn/R5XsxA1 作者译者编辑都可以参考，特别是一些规范名词，可以查缺补漏。我经常查《数学名词》，不过年代有些久远(1993年),《计算机科学技术名词》最近出了新版并有实体书(2018年)。 补充一下，你可以把这个当成专业词汇的英汉词典来用。