数学机械化在信息科学中的应用
[Math. Dept.]
April 19, 2018 14:00-15:00
W303 School of Mathematics
![[colloquium] Wensheng Yu20180419-01.png](http://tianyuan.scu.edu.cn/upload/default/20180418/72b85bd1a3318b51e7a1ad5508ceab07.png "[colloquium] Wensheng Yu20180419-01.png")
SPEAKER
Wensheng Yu (Beijing University of Posts and Telecommunications)
SUPPORTED BY
School of Mathematics, Sichuan University
LECTURE NOTES
TMCSC180419a_Wensheng Yu_数学机械化在信息科学中的应用
VIDEO
- 数学机械化在信息科学中的应用
- 14:00 - 15:00, 2018-04-19 at W303 School of Mathematics
- Wensheng Yu (Beijing University of Posts and Telecommunications)