国际自动推理联合会议
International Joint Conference on Automated Reasoning · IJCAR
类型 S 其他类型S(待核准) 2001 成立
概览
简介
国际自动推理联合会议（IJCAR）自2001年起每两年举办一次，由自动推理会议（CADE）、系统结合前沿问题国际研讨会（FroCoS）、交互式定理证明国际会议（ITP）和分析表及相关方法会议（TABLEAUX）合并而成；设指导委员会。现有登记资料未载明其会址与经费情况。
研究领域
教育与科研
自动推理学术研究
组织概况
类型：S 其他类型S(待核准)
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
出版物
暂无出版物数据
会议活动
暂无会议数据
组织关系
暂无关系数据
历史沿革 付费
自2001年起每两年举办一次，由自动推理会议（CADE）、S-AA0310——系统结合前沿问题国际研讨会（FroCoS）、交互式定理证明国际会议（ITP）与分析表及相关方法会议（TABLEAUX）合并而成。
组织架构 付费
指导委员会。