首页 > 正文

CCF形式化专委走进海南大学

作者:时间:2023-03-27点击数:

2023年3月24日至25日,CCF形式化专委董威秘书长、刘志明委员、董云卫委员与刘关俊委员到访海南大学计算机学院。


版权所有:同济大学 形式逻辑与机器学习实验室

地址:上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email:liuguanjun@tongji.edu.cn