T007588　英汉计算机软件词典

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第801页（302字）

许孔时主编。河北教育出版社1987年8月版。93．6万字。收入计算机科学、离散数学、数理逻辑、集合论、图论、布尔代数、代数结构、可计算性理论、形式语义学、自动机理论、算法论、数据结构、计算方法、程序设计方法学、机器证明、机器翻译、程序设计语言、编译原理、操作系统、数据通讯、计算机网络、办公室自动化、人工智能、专家系统、图像处理、数据库、情报检索、程序正确性证明、自然语言翻译、软件工程、软件工具、软件开发环境、计算机辅助设计、汉字处理、模式识别、微型计算机软件等方面的词汇3万余条。书后附有常用缩写词中英文对照3000余条。本书按照英文字母顺序编排。