Events-系统可信性自动验证国家地方联合工程实验室

Events

首页 >> english >> News&Events >> Events

[最新资讯]徐扬教授团队在国际自动定理证明竞赛中取得好成绩: Time：2021-08-01 17:07 Hits：

[最新资讯]数学学院徐扬教授团队在第24届国际SAT竞赛取得优异成绩: Time：2021-08-01 17:02 Hits：

[最新资讯]英国南安普顿大学高级研究员Dr. Colin Snook应邀访问实验室: Time：2019-11-23 11:05 Hits：

[最新资讯]徐扬教授团队夺得第23届国际一阶逻辑自动定理证明器竞赛亚军: Time：2018-07-18 17:43 Hits：

[最新资讯]数学学院徐扬教授团队夺得第21届国际SAT竞赛亚军: Time：2018-07-15 17:41 Hits：

首页上页1234下页尾页