自动推理协会
Association for Automated Reasoning · AAR
类型 D 区域性会员组织 瑞典 乌普萨拉
概览
宗旨
推动自动推理领域的发展。
简介
自动推理协会（AAR）设于瑞典乌普萨拉。该会以推动自动推理领域的发展为宗旨。资料未载明其成立年份、历史沿革、业务活动与内部结构。
研究领域
教育与科研
自动推理与形式化方法研究
组织概况
总部：瑞典 乌普萨拉 类型：D 区域性会员组织
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
出版物
暂无出版物数据
会议活动
暂无会议数据
组织关系
- PARTNER 自动推理国际会议
- PARTNER 国际自动推理联合会议