成都计算机应用研究所相关论文
<正>公司简介中科院成都信息技术有限公司是由创立于1958年的中国科学院成都计算机应用研究所整体转制而来,是中科院直接控股的高......
期刊
机器证明的回顾与展望中国科学院院士中国科学院成都计算机应用研究所研究员张景中机器证明及其应用，是我国攀登计划项目之一。项目......
