2023年9月9日-10月28日 北京
CCF约束求解公开课
会议编号:CCF-TC-23-009
主办:中国计算机学会(CCF)
承办:中国科学院软件研究所
联系:蔡少伟 caisw@ios.ac.cn
版权所有 中国计算机学会 技术支持:泽元软件
联系电话: (+86)10 6256 2503 邮件:ccf@ccf.org.cn
京公网安备 11010802032778号 京ICP备13000930号-4
网站建议或者意见请发送邮件:suggest@ccf.org.cn
投诉请联系:complain@ccf.org.cn