人工智能, 学术会议, 自动化推理, 计算机科学, 逻辑学

国际联合自动化推理会议 (International Joint Conference on Automated Reasoning – IJCAR)

, , , ,