徐鸣 - 计算机科学国家重点实验室

徐鸣

出自计算机科学国家重点实验室

首页 > 人才队伍 > 科研人员 > 徐鸣

跳转到：导航, 搜索

职称:	博士后
研究方向：	符号计算、程序验证、混成系统
电话:	010-62661652
E-Mail:	xum(at)ios.ac.cn

取自“http://lcs.ios.ac.cn/wiki/%E5%BE%90%E9%B8%A3”

2个分类: 科研人员 | 博士后

版权所有 © 中国科学院软件研究所计算机科学国家重点实验室

京ICP备05046678号