International Joint Conference on Automated Reasoning
id:
international-joint-conference-on-automated-reasoning-203-16484690
title:
International Joint Conference on Automated Reasoning
text:
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.
- The first IJCAR was held
brand slug:
wiki
category slug:
encyclopedia
description:
Conferences series on automated reasoning, automated deduction, and related fields
original url:
https://en.wikipedia.org/wiki/International_Joint_Conference_on_Automated_Reasoning
date created:
2006-03-12T16:56:28Z
date modified:
2024-09-09T20:58:44Z
main entity:
{"identifier":"Q6051264","url":"https://www.wikidata.org/entity/Q6051264"}
image:
fields total:
13
integrity:
15