成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
CADE/IJCAR
关注
0
计算机辅助教学是一个主要的国际论坛,这个论坛对自动演绎的各个方面进行了研究。第一次会议于1975年举行。自2001年以来,CAED一直参加国际自动推理联合会议(IJCAR)。CADE Inc.是自动推理协会(AAR)的一个分支机构。官网链接:
http://www.cadeinc.org/ a>
综合
百科
VIP
热门
动态
论文
精华
没有数据了, 换个别的吧!
参考链接
父主题
Springer
计算机科学理论
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top