自动推理国际会议
International Conference on Automated Deduction · CADE
类型 J 转型调适中的组织 1975 成立
概览
简介
自动推理国际会议（CADE）始于1975年，登记会址为美国纽约州奥尔巴尼。从其名称可知该会是以自动推理为主题的系列学术会议；现有登记资料未载明其宗旨、活动与内部结构。
研究领域
教育与科研
自动推理与形式化方法学术交流
组织概况
类型：J 转型调适中的组织
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
出版物
暂无出版物数据
会议活动
暂无会议数据
组织关系
- OTHER 国际自动推理联合会议
- PARTNER 自动推理协会