获奖 首页>科研创新>科研成果>获奖 获奖名称 获奖类型 获奖等级 获奖时间 搜索 获奖时间 获奖名称 获奖类别 获奖等级 完成人(主要参加者) 1987 有限自动机的可逆性理论 国家自然科学奖 三等奖 1987 分布式程序设计理论 国家自然科学奖 二等奖 1985 UNIX系统的研究分析推广应用和开发 国家科学技术进步奖 三等奖 < 12 查看更多
