CADE — International Conference on Automated Deduction

[基本信息]

会议名称:CADE — International Conference on Automated Deduction

所属学科:信息与知识管理,大数据计算

开始日期:2018-07-14

结束日期:2018-07-17

所在国家:United Kingdom

所在城市:Oxford

[会务组联系方式]

会议网站:http://ijcar2018.org/