本站大事记   |  收藏本站
高级检索  全文检索  
当前位置:   本站首页   >   讲座预告   >   正文

程序验证中的一个数学问题

发布日期:2018-01-08     作者:数学学院      编辑:林曦莹     点击:

题 目:程序验证中的一个数学问题

报告人:北京大学数学学院夏壁灿教授

时 间:2018年1月8日上午9:00

地 点:数学楼一楼第一报告厅

我要评论:
 匿名发布 验证码 看不清楚,换张图片
0条评论    共1页   当前第1

相关文章

  • 读取内容中,请等待...

地址:吉林省长春市前进大街2699号
E-mail:jlunewsnet@163.com
Copyright©2012 All rights reserved.
吉林大学党委宣传部 版权所有

手机版