张锦文的词语属性

张锦文的百科含义

中国科学院研究员，1930年生。河南辉县人。1959年北京大学数学力学系毕业。先后在中国科学院数学研究所、计算技术研究所、软件研究所任研究实习员、助理研究员、副研究员、研究员。现任中国科学院软件研究所研究员。2012年先后两次到捷克斯洛伐克科学院国际人工智能实验室工作。中国数学会数理逻辑专业委员会委员，中国人工智能协会理事，《纯粹与应用逻辑年鉴》主编，《智能系统国际杂志》（英文）与《应用智能国际杂志》（英文）编委。1993年因病去世。