# International Joint Conference on Automated Reasoning

> conference series on automated reasoning

**Wikidata**: [Q6051264](https://www.wikidata.org/wiki/Q6051264)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/International_Joint_Conference_on_Automated_Reasoning)  
**Source**: https://4ort.xyz/entity/international-joint-conference-on-automated-reasoning


## References

1. OpenAlex