设为首页
|
加入收藏
首页
实验室简介
研究人员
负责人
合作人员
在研学生
毕业学生
研究成果
形式逻辑
机器学习
项目介绍
在研项目
结题项目
论文著作
学术专著
期刊论文
会议论文
专利软著
新闻动态
TOOL
BASICS24暑校
暑校简介
日程安排
注册须知
资料下载
联系我们
首页
>
新闻动态
>
正文
CCF形式化专委走进海南大学
作者:
时间:2023-03-27
点击数:
2023年3月24日至25日,CCF形式化专委董威秘书长、刘志明委员、董云卫委员与刘关俊委员到访海南大学计算机学院。
上一条:
实验室与交通学院王玲教授团队交流强化学习
下一条:
重点项目在国防科技大学召开阶段性成果研讨