会员服务
北京大学数学科学学院教授，主要研究方向为机器证明、程序验证。个人主页：http://www.math.pku.edu.cn/jsdw/js_20180628175159671361/x_20180628175159671361/69979.htm
没有数据了, 换个别的吧!
参考链接
微信扫码咨询专知VIP会员
Top