张锦文,中国科学院研究员,1930年生。河南辉县人。1959年北京大学数学力学系毕业。先后在中国科学院数学研究所、计算技术研究所、软件研究所任研究实习员、助理研究员、副研究员、研究员。现任中国科学院软件研究所研究员。1991年先后两次到捷克斯洛伐克科学院国际人工智能实验室工作。中国数学会数理逻辑专业委员会委员,中国人工智能协会理事,《纯粹与应用逻辑年鉴》主编,《智能系统国际杂志》(英文)与《应用智能国际杂志》(英文)编委。1993年因病去世。
想要了解更多“张锦文(中国科学院研究员)”的信息,请点击:张锦文(中国科学院研究员)百科