英文名称International Joint Conference on Automated Reasoning（IJCAR）

届数第1届

开始时间2024-07-01

结束时间2024-07-06

举办地点法国南希