成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
夏壁灿
关注
0
北京大学数学科学学院教授,主要研究方向为机器证明、程序验证。个人主页:
http://www.math.pku.edu.cn/jsdw/js_20180628175159671361/x_20180628175159671361/69979.htm
综合
百科
VIP
热门
动态
论文
精华
暂无数据
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top