设为首页
|
加入收藏
首页
实验室简介
研究人员
负责人
合作人员
在研学生
毕业学生
研究成果
形式逻辑
机器学习
项目介绍
在研项目
结题项目
论文著作
学术专著
期刊论文
会议论文
专利软著
新闻动态
TOOL
BASICS24暑校
暑校简介
日程安排
注册须知
资料下载
联系我们
首页
>
正文
征稿通知:CCF ChinaSoft 2022 “形式化方法与应用“Track
作者:
时间:2022-03-02
点击数:
征文通知:CCF ChinaSoft 2022 “形式化方法与应用“Track征稿通知:
http://chinasoft2022.ccf.org.cn/papers/4.html
上一条:
王加存教授与唐瑛教授报告会
下一条:
2022年拟招收1-2名硕士研究生