会员服务
计算机辅助教学是一个主要的国际论坛，这个论坛对自动演绎的各个方面进行了研究。第一次会议于1975年举行。自2001年以来，CAED一直参加国际自动推理联合会议（IJCAR）。CADE Inc.是自动推理协会（AAR）的一个分支机构。官网链接：http://www.cadeinc.org/

精品内容

没有数据了, 换个别的吧!
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top