计算机辅助教学是一个主要的国际论坛,这个论坛对自动演绎的各个方面进行了研究。第一次会议于1975年举行。自2001年以来,CAED一直参加国际自动推理联合会议(IJCAR)。CADE Inc.是自动推理协会(AAR)的一个分支机构。官网链接:http://www.cadeinc.org/
暂无数据
参考链接
微信扫码咨询专知VIP会员