数学机械化在信息科学中的应用

[Math. Dept.]

April 19, 2018  14:00-15:00

W303  School of Mathematics

[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)