This article needs additional citations for verification. Please help improve this articlebyadding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "International Joint Conference on Automated Reasoning" – news · newspapers · books · scholar · JSTOR (February 2024) (Learn how and when to remove this message) |
The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by the organizers of the Conference on Automated Deduction (CADE), and CADE has always been one of the conferences partaking in IJCAR.
![]() | This computer science article is a stub. You can help Wikipedia by expanding it. |